aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/decl_expr.mli
Commit message (Expand)AuthorAge
* "suffices" implemented + syntax cleanupGravatar corbinea2007-01-28
* changes in declarative language : by term using tacticGravatar corbinea2007-01-22
* Declarative Proof Language: main commitGravatar corbinea2006-09-20