aboutsummaryrefslogtreecommitdiff
path: root/contrib/field/Field_Tactic.v
AgeCommit message (Expand)Author
2003-04-03Légères simplifications code de Field; message d'erreur si pas égalitéherbelin
2003-04-01remplace == par = dans la tactique field pour que le debugger marche a nouvea...narboux
2003-01-20Utilisation de 'Recursive' pour les tactiques récursivesherbelin
2002-05-29Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vherbelin
2002-03-19Fix d'un bug sur le test des inversesdelahaye
2002-03-17Meilleure gestion de la reduction dans Fielddelahaye
2001-11-14oubli: changement de nil en nilTmayero
2001-11-14Changement de list en listT, cons en consT et app en appTmayero
2001-11-05GROS COMMIT:barras
2001-09-21Correction due au changement de semantique de Matchdelahaye
2001-07-02Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute...herbelin
2001-06-27Reduction du terme preuve fourni par Fielddelahaye
2001-06-27Reduction tres significative du terme preuvedelahaye
2001-04-24Suppression d'une partie de code commentedelahaye
2001-04-20Ajout des entetesdelahaye
2001-04-19Ajout de Fielddelahaye
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 05:20:33 +0000