]>
2005-11-21 | Claudio Sacerdoti... | Useful lemma added. | blob | commitdiff | raw |
2005-11-08 | Claudio Sacerdoti... | Yet another semantics for simplify. | blob | commitdiff | raw | diff to current |
2005-11-07 | Stefano Zacchiroli | added bool_elim (elimination which preserves infos... | blob | commitdiff | raw | diff to current |
2005-11-02 | Claudio Sacerdoti... | Proof of unicity of proofs for: | blob | commitdiff | raw | diff to current |
2005-09-22 | Claudio Sacerdoti... | More notation here and there. | blob | commitdiff | raw | diff to current |
2005-08-22 | Andrea Asperti | The library grows... | blob | commitdiff | raw | diff to current |
2005-07-25 | Claudio Sacerdoti... | More notation (up to where the open bugs allow me to... | blob | commitdiff | raw | diff to current |
2005-07-25 | Claudio Sacerdoti... | A little bit more of notation here and there. | blob | commitdiff | raw | diff to current |
2005-07-11 | Andrea Asperti | New version of the library, a bit more structured. | blob | commitdiff | raw | diff to current |