Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Mise en forme des theories | 2006-10-17 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | 2003-11-29 | |
* | Utilisation de 'Recursive' pour les tactiques récursives | 2003-01-20 | |
* | Réorganisation de la librairie des réels | 2002-11-27 | |
* | (Again) Little corrections for Library doc | 2001-04-24 | |
* | Minor layout adjustments for Library doc | 2001-04-23 | |
* | Ajout tactics Reals | 2001-04-20 |