]>
2012-09-03 | Ferruccio Guidi | lambda_delta: partial commit ... | blob | commitdiff | raw |
2012-08-08 | Wilmer Ricciotti | Adding GRealize to uni_step. | blob | commitdiff | raw | diff to current |
2012-06-05 | Andrea Asperti | Some results on relations. Moved things around. | blob | commitdiff | raw | diff to current |
2012-06-04 | Andrea Asperti | semantics of the if-machine. | blob | commitdiff | raw | diff to current |
2012-03-19 | Ferruccio Guidi | - basics: bug fix in Conf3, it was not generic enough | blob | commitdiff | raw | diff to current |
2011-12-06 | Ferruccio Guidi | we added a definition and a couple of lemmas | blob | commitdiff | raw | diff to current |
2011-12-06 | Andrea Asperti | naive sets (A-> Prop) | blob | commitdiff | raw | diff to current |
2011-10-28 | Andrea Asperti | some qed- | blob | commitdiff | raw | diff to current |
2010-12-16 | Andrea Asperti | New version of the library. Several files still do... | blob | commitdiff | raw | diff to current |