]>
2010-09-28 | Enrico Tassi | nicer hints, 16.1->3 done | blob | commitdiff | raw |
2010-09-27 | Enrico Tassi | many fixes to setoids for re, 16.1 almost done | blob | commitdiff | raw | diff to current |
2010-09-23 | Enrico Tassi | morphism support moved to sets/ and logic/cprop | blob | commitdiff | raw | diff to current |
2010-02-03 | Claudio Sacerdoti... | Work in Progress: Who needs binary_morphisms? Curryfica... | blob | commitdiff | raw | diff to current |
2009-09-28 | Claudio Sacerdoti... | Experiment... | blob | commitdiff | raw | diff to current |
2009-09-28 | Claudio Sacerdoti... | Experiment... | blob | commitdiff | raw | diff to current |
2009-09-10 | Enrico Tassi | nice hints | blob | commitdiff | raw | diff to current |
2009-09-08 | Enrico Tassi | snapshot for CSC | blob | commitdiff | raw | diff to current |
2009-07-31 | Claudio Sacerdoti... | Setoids, setoids1, sets, and the like. The mess begins. | blob | commitdiff | raw | diff to current |