aboutsummaryrefslogtreecommitdiff
path: root/proofs/macros.ml
AgeCommit message (Expand)Author
2000-11-21Tout est deja traite dans Tacinterpdelahaye
2000-11-15methode exportfilliatr
2000-11-10Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...herbelin
2000-05-03Ajout du langage de tactiquesdelahaye
1999-10-22module Macros et Tacinterpfilliatr