Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |