aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/evar_tactics.ml
Commit message (Expand)AuthorAge
* - Tactic "assert" now accepts "as" intro patterns and "by" tactic clausesGravatar herbelin2006-01-16
* Changement des named_contextGravatar gregoire2005-12-02
* hiding the meta_map in evar_defsGravatar barras2004-09-15
* evar tactic bugfixGravatar corbinea2004-09-14
* inclusion de meta_map dans evar_defsGravatar barras2004-09-12
* unification encore...Gravatar barras2004-09-08
* Protection contre un indice d'evar égal à 0Gravatar herbelin2004-08-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* moved instantiate binding to extratacticsGravatar corbinea2004-06-29
* more evar stuffGravatar corbinea2004-06-28