Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Déplacement des types paramétriques prod, sum, option, identity, | 2006-05-28 | |
* | 2-3 lemmes en plus pour que les Bvectors soient effectivement utilisables | 2006-04-27 | |
* | MAJ PolyList -> List | 2005-03-16 | |
* | 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 |