]> matita.cs.unibo.it Git - helm.git/history - matita/library/legacy
...
[helm.git] / matita / library / legacy /
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-08-29 Ferruccio Guidialiases removed
2006-08-28 Ferruccio Guidi- Level-1: some problems solved
2006-08-27 Ferruccio Guidi- Level-1: added two problems
2006-08-26 Ferruccio Guidi- Level-1: added some problems
2006-08-26 Ferruccio Guidi- added some aliases
2006-07-25 Enrico Tassiadded definition of f_equal1. I think this file should...
2006-06-09 Claudio Sacerdoti... 1. the default for the default equality/absurd/true...
2006-04-12 Enrico Tassiexported pp function for terms
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/