aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/contradiction.ml
Commit message (Expand)AuthorAge
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* Extension de l'utilisation de contradictionGravatar herbelin2003-10-19
* Extension de Contradiction au cas d'hypotheses ~A et A dans le contexteGravatar herbelin2003-10-18
* Pour les tactiques dépendant de FalseGravatar herbelin2002-05-29