Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Redirected some of the verbose jprover output through the Pp module. | 2003-10-30 | |
* | Jprover bugfix (hopefully !) | 2003-10-23 | |
* | typo | 2002-11-13 | |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | 2002-05-29 | |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | 2002-05-29 | |
* | jLogic.mli remplace par jolic.mli | 2002-04-17 | |
* | Refine the procedure that generalizes context to current goal. | 2002-04-15 | |
* | *** empty log message *** | 2002-04-04 | |
* | Add citations | 2002-04-04 | |
* | An intuitionistic first-order theorem prover -- JProver. | 2002-03-22 |