]>
2008-09-12 | Claudio Sacerdoti... | ... | blob | commitdiff | raw |
2008-09-12 | Claudio Sacerdoti... | 1) as usual, I took the reverse notation for composition. | blob | commitdiff | raw | diff to current |
2008-09-09 | Claudio Sacerdoti... | Reordering of lemmas in proper places. | blob | commitdiff | raw | diff to current |
2008-09-03 | Claudio Sacerdoti... | Setoids are now more pervasive. | blob | commitdiff | raw | diff to current |
2008-08-31 | Claudio Sacerdoti... | Relations are now closer to Sambin's ones. I.e. they... | blob | commitdiff | raw | diff to current |
2008-08-27 | Claudio Sacerdoti... | Better notation, in particular for subset comprehension. | blob | commitdiff | raw | diff to current |
2008-08-25 | Claudio Sacerdoti... | New categories REL and BP. | blob | commitdiff | raw | diff to current |