aboutsummaryrefslogtreecommitdiff
path: root/proofs/evar_refiner.ml
AgeCommit message (Expand)Author
2000-09-10Correction pour make docherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-05-31Nettoyage de Genericherbelin
2000-05-04Nettoyage de l'interface de Pfeditherbelin
2000-05-03Ajout du langage de tactiquesdelahaye
2000-04-30Suite intégration de constr_patternherbelin
2000-01-26MAJ ocaml 2.99 (espaces dans la syntaxe des cast)herbelin
1999-12-14rattrapage exceptions autres que UserErrorfilliatr
1999-12-02modifs pour premiere edition de liensfilliatr
1999-12-01 - Typing -> Safe_typingfilliatr
1999-10-20modules Evar_refiner et Typing_evfilliatr