aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/instantiate.mli
Commit message (Expand)AuthorAge
* ajout des inductifs (sans types singletons pour l'instant)Gravatar filliatr1999-08-30
* un petit effort de presentation dans les interfacesGravatar filliatr1999-08-30
* modules Instantiate, Constant et InductiveGravatar filliatr1999-08-25