aboutsummaryrefslogtreecommitdiff
path: root/kernel/sign.ml
AgeCommit message (Expand)Author
2000-11-27Prise en compte des let in dans les instances de globauxherbelin
2000-11-02suppression des (* open Generic *)filliatr
2000-10-18Simplifications autour de typed_type (renommé types par analogie avec sorts)...herbelin
2000-10-18Renommage canonique :herbelin
2000-10-03Rebranchement de la tactique Letherbelin
2000-09-10Correction pour make docherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-05-22Renommage hypothèses de nom redondant dans les environnementsherbelin
2000-01-26Abstraction de l'implémentation des signatures de Sign en vue intégration d...herbelin
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-26ajouts divers pour module Printerfilliatr
1999-11-24MAJ pour fusion avec pretypingherbelin
1999-08-26environnement surfilliatr
1999-08-26 - abstractionfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-17generic, term et evdfilliatr
1999-08-16ancien names decoupe en names + signfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 00:23:18 +0000