aboutsummaryrefslogtreecommitdiff
path: root/kernel/closure.ml
AgeCommit message (Expand)Author
1999-08-26 - abstractionfilliatr
1999-08-25modules Instantiate, Constant et Inductivefilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr