Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Simplest Demo on modules | 2003-11-28 | |
* | L'exemple phare de modules - simplifie pour TPHOLs | 2003-09-22 | |
* | Corrige Bug (PR#290) | 2003-05-05 | |
* | commentaire | 2003-02-06 | |
* | MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout | 2003-01-31 | |
* | Remplacement de Syntactic Definition par Notation | 2002-11-24 | |
* | Encore quelques rangements dans Nametab + petits trucs | 2002-09-27 | |
* | Encore quelques tests sur modules... | 2002-08-16 | |
* | Petites corrections ici et la | 2002-08-13 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 |