]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/depends.png
...
[helm.git] / helm / software / matita / nlibrary / depends.png
2009-10-18 Enrico Tassi...
2009-10-14 Enrico Tassicantor...
2009-10-11 Enrico Tassiauto with intro
2009-09-15 Enrico Tassiimproved check in delift for flexible lc entries.
2009-09-08 Enrico Tassisnapshot for CSC
2009-08-25 Enrico Tassiinitial and incomplete port of the old demo about induc...
2009-07-27 Claudio Sacerdoti... setoids.ma split into setoids.ma + setoids1.ma
2009-07-27 Claudio Sacerdoti... topology/igt.ma (???) |-> sets/setoids.ma
2009-07-20 Claudio Sacerdoti... nrewrite now working
2009-07-08 Enrico Tassifew more files, one diverges
2009-07-08 Claudio Sacerdoti... ...
2009-07-07 Claudio Sacerdoti... Let's play a bit with NG.