aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/decl_mode.ml
Commit message (Expand)AuthorAge
* Declarative language: fixed the generation of fixpoints for induction proofs.Gravatar corbinea2007-07-24
* fin des conclusions multiplesGravatar corbinea2007-04-26
* "suffices" implemented + syntax cleanupGravatar corbinea2007-01-28
* decl mode: anonymous factsGravatar corbinea2007-01-25
* Declarative Proof Language: main commitGravatar corbinea2006-09-20