Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Le nouvel Induction s'appelle NewInduction | 2000-11-26 | ||
* | Petite simplif due au nouveau Tauto | 2000-11-24 | ||
* | Retour a la version 1.1 | 2000-11-13 | ||
* | Modification de la table des tactic Definitions pour eviter l'ecriture | 2000-11-07 | ||
* | Orthographe | 2000-11-07 | ||
* | Mise a jour TheoryList | 2000-10-27 | ||
* | Remplacement de la tactique Program (partiel) | 2000-10-05 | ||
* | portage Refine | 2000-07-20 | ||
* | Traduction de syntaxe vers ltac | 2000-07-03 | ||
* | Retrait des parenthèses inutiles autour des tactiques | 2000-07-01 | ||
* | theories/Lists | 2000-06-21 |