New posts in Coq Tactic

How does the discriminate tactic work?