aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/eqdecide.ml4
Commit message (Expand)AuthorAge
* Restructuration des procédures de filtrageGravatar herbelin2003-05-19
* simplification: fst (list_chop n l) = firstn n l et snd (list_chop n l) = lis...Gravatar letouzey2003-04-16
* Globalisation des noms de tactiques dans les définitions de tactiquesGravatar herbelin2003-04-07
* Repercussion de la possibilit de mettre des hyps quantifiees dans Simplify_eq...Gravatar herbelin2002-06-05
* Rpercussion de la possibilit de mettre des hyps quantifies dans Simplify_eq e...Gravatar herbelin2002-06-05
* Fichiers tactics/*.ml4 remplacent les tactics/*.vGravatar herbelin2002-05-29