]>
2009-10-11 | Enrico Tassi | auto with intro | blob | commitdiff | raw |
2009-09-15 | Enrico Tassi | improved check in delift for flexible lc entries. | blob | commitdiff | raw | diff to current |
2009-09-08 | Enrico Tassi | snapshot for CSC | blob | commitdiff | raw | diff to current |
2009-08-25 | Enrico Tassi | initial and incomplete port of the old demo about induc... | blob | commitdiff | raw | diff to current |
2009-07-27 | Claudio Sacerdoti... | setoids.ma split into setoids.ma + setoids1.ma | blob | commitdiff | raw | diff to current |
2009-07-27 | Claudio Sacerdoti... | topology/igt.ma (???) |-> sets/setoids.ma | blob | commitdiff | raw | diff to current |
2009-07-20 | Claudio Sacerdoti... | nrewrite now working | blob | commitdiff | raw | diff to current |
2009-07-08 | Enrico Tassi | few more files, one diverges | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-07 | Claudio Sacerdoti... | Let's play a bit with NG. | blob | commitdiff | raw | diff to current |