aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/extract_env.mli
AgeCommit message (Expand)Author
2001-04-04rollback sur les commandes Extract Constant/Inductive; nettoyage et documenta...filliatr
2001-03-28changement type_var et signaturefilliatr
2001-03-27extraction recursive d'un morceau d'environnementfilliatr