]>
2008-09-04 | Enrico Tassi | .... | tree | commitdiff |
2008-09-04 | Enrico Tassi | ... | tree | commitdiff |
2008-09-04 | Claudio Sacerdoti... | ... | tree | commitdiff |
2008-09-03 | Claudio Sacerdoti... | Setoids are now more pervasive. | tree | commitdiff |
2008-08-31 | Claudio Sacerdoti... | Relations are now closer to Sambin's ones. I.e. they... | tree | commitdiff |
2008-08-27 | Claudio Sacerdoti... | Convergence is now defined. | tree | commitdiff |
2008-08-27 | Claudio Sacerdoti... | Better notation, in particular for subset comprehension. | tree | commitdiff |
2008-08-25 | Claudio Sacerdoti... | New categories REL and BP. | tree | commitdiff |
2008-08-23 | Claudio Sacerdoti... | Definition of categories. | tree | commitdiff |