aboutsummaryrefslogtreecommitdiff
path: root/kernel/reduction.ml
AgeCommit message (Expand)Author
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-23 - suppression de CONV_X et CONV_X_LEQ : les univers sont maintenant toujoursfilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-18module Reduction (fin)filliatr
1999-08-18module Reduction (debut)filliatr