aboutsummaryrefslogtreecommitdiff
path: root/tactics/elim.ml
AgeCommit message (Expand)Author
2001-03-15entetesfilliatr
2000-11-23print_id, print_sp -> pr_id, pr_spherbelin
2000-11-02suppression des (* open Generic *)filliatr
2000-10-13Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve...herbelin
2000-09-14Abstraction de constrherbelin
2000-09-10Correction pour make docherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-05-22Changement nommage des hypothèsesherbelin
2000-05-22Retour comportement de la version précédenteherbelin
2000-05-18Effets de bords suite à la restructuration des inductives (cf Inductive)herbelin
2000-05-16Retrait du i pour tclTHEN_i et correction bugs Decomposeherbelin
2000-05-03Ajout du langage de tactiquesdelahaye
2000-04-28Déplacement du type reference dans Termherbelin
2000-03-28Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...herbelin
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-24Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 02:14:31 +0000