]>
2015-09-24 | Ferruccio Guidi | first constructions with classes | tree | commitdiff |
2015-09-20 | Ferruccio Guidi | limits: we set up a different foundation | tree | commitdiff |
2015-09-20 | Ferruccio Guidi | old files (re)moved | tree | commitdiff |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |