aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/jprover/jall.mli
Commit message (Expand)AuthorAge
* An intuitionistic first-order theorem prover -- JProver.Gravatar huang2002-03-22