Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | backtrack implicit dans Bvector | 2004-02-10 | |
* | patch Bvector: args implicites | 2004-02-09 | |
* | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | 2003-11-29 | |
* | Remplacement de Induction/Destruct par NewInduction/NewDestruct | 2003-09-23 | |
* | Import nat_scope | 2003-06-10 | |
* | bit vectors | 2003-01-06 |