Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |