Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |