aboutsummaryrefslogtreecommitdiff
path: root/proofs/evar_refiner.mli
AgeCommit message (Expand)Author
1999-12-02modifs pour premiere edition de liensfilliatr
1999-12-01 - environment -> safe_environmentfilliatr
1999-10-20 - documentation repertoire proofs/filliatr
1999-10-20modules Evar_refiner et Typing_evfilliatr