aboutsummaryrefslogtreecommitdiff
path: root/proofs/refiner.ml
AgeCommit message (Expand)Author
1999-10-19module Refinerfilliatr
1999-10-19les variables existentielles contiennent maintenant un environnement (typefilliatr
1999-10-18mise en place module Refinerfilliatr
1999-10-18 - déplacement (encore une fois !) des variables existentielles : elles sontfilliatr