]>
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | blob | commitdiff | raw |
2009-01-26 | Enrico Tassi | maction support added to notation, adopted for = AKA... | blob | commitdiff | raw | diff to current |
2008-12-22 | Enrico Tassi | Some clean up. | blob | commitdiff | raw | diff to current |
2008-12-21 | Claudio Sacerdoti... | New category SET (whose objects are setoids). | blob | commitdiff | raw | diff to current |
2008-12-18 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2008-12-15 | Enrico Tassi | use named types to force some constraints asap | blob | commitdiff | raw | diff to current |
2008-09-12 | Claudio Sacerdoti... | 1) as usual, I took the reverse notation for composition. | blob | commitdiff | raw | diff to current |
2008-09-03 | Claudio Sacerdoti... | Setoids are now more pervasive. | blob | commitdiff | raw | diff to current |
2008-08-25 | Claudio Sacerdoti... | New categories REL and BP. | blob | commitdiff | raw | diff to current |