Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Declarative language: fixed the generation of fixpoints for induction proofs. | 2007-07-24 | |
* | fin des conclusions multiples | 2007-04-26 | |
* | decl mode: anonymous facts | 2007-01-25 | |
* | Declarative Proof Language: main commit | 2006-09-20 |