]>
2008-09-18 | Claudio Sacerdoti... | Major reordering of theorems in the appropriate files. | blob | commitdiff | raw |
2008-09-16 | Claudio Sacerdoti... | formal_map now defined | 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 |
2008-08-23 | Claudio Sacerdoti... | Some notation moved to core_notation. | blob | commitdiff | raw | diff to current |
2008-07-15 | Enrico Tassi | more notation moved to core notation, unification of... | blob | commitdiff | raw | diff to current |