Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | - fixed the Assert_failure error in kernel/modops | 2004-02-18 | ||
* | Corrections de gestion des univers et modules + meilleure gestions des noms... | 2002-12-09 | ||
* | suppression du champ mind_singl inutilisé dans mutual_inductive_body | 2002-12-04 | ||
* | Lazy manuelles dans le code | 2002-10-07 | ||
* | Lazy experimentale temporaire... | 2002-10-05 | ||
* | Comparaisons des types pendant le sous-typage reactive | 2002-09-30 | ||
* | La notation 'with'. L'interpretation - version preliminaire | 2002-08-19 | ||
* | Strengthenning rules for modules + No modules in sections | 2002-08-16 | ||
* | Petites corrections ici et la | 2002-08-13 | ||
* | Modules dans COQ\!\!\!\! | 2002-08-02 |