aboutsummaryrefslogtreecommitdiff
path: root/kernel/constant.ml
AgeCommit message (Expand)Author
1999-09-07mise en place commandes minicoqfilliatr
1999-08-27suppression champs inutiles dans constantes et inductifs; verification defini...filliatr
1999-08-26environnement surfilliatr
1999-08-25modules Instantiate, Constant et Inductivefilliatr