]>
2009-10-14 | Enrico Tassi | hints were not used by reduction machines on heads | blob | commitdiff | raw |
2009-09-21 | Enrico Tassi | huge commit regarding universes: | 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 |
2009-07-07 | Claudio Sacerdoti... | Let's play a bit with NG. | blob | commitdiff | raw | diff to current |