aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/jprover
Commit message (Expand)AuthorAge
* Redirected some of the verbose jprover output through the Pp module.Gravatar corbinea2003-10-30
* Jprover bugfix (hopefully !)Gravatar corbinea2003-10-23
* typoGravatar courant2002-11-13
* Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vGravatar herbelin2002-05-29
* Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vGravatar herbelin2002-05-29
* jLogic.mli remplace par jolic.mliGravatar herbelin2002-04-17
* Refine the procedure that generalizes context to current goal.Gravatar huang2002-04-15
* *** empty log message ***Gravatar huang2002-04-04
* Add citationsGravatar huang2002-04-04
* An intuitionistic first-order theorem prover -- JProver.Gravatar huang2002-03-22