Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Autour du parsing: | 2008-07-15 | |
* | Modifications diverses et variƩes : | 2008-03-30 | |
* | Nettoyage Wf.v et unification (suite remarques faites sur cocorico) | 2008-03-23 | |
* | Changing R to a local definition so that it isn't exported. | 2008-01-23 | |
* | Derivation of (exists x : A, P x) -> {x : A | P x} for decidable P | 2007-01-23 |