Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout | 2003-01-31 | |
* | Remplacement de Syntactic Definition par Notation | 2002-11-24 | |
* | Petites corrections ici et la | 2002-08-13 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 |