aboutsummaryrefslogtreecommitdiff
path: root/proofs/tacred.mli
AgeCommit message (Expand)Author
1999-12-02modifs pour premiere edition de liensfilliatr
1999-12-01 - environment -> safe_environmentfilliatr
1999-11-24Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsfilliatr
1999-11-19module Pattern, Wcclausenv (interface) et Tacticalsfilliatr
1999-10-20module Clenv (debut)filliatr
1999-10-20modules Evar_refiner et Typing_evfilliatr