]> matita.cs.unibo.it Git - helm.git/history - matita/library/Z
...
[helm.git] / matita / library / Z /
2006-09-26 Claudio Sacerdoti... {discriminate,injection} => destruct
2006-07-24 Andrea AspertiA compiling version of the library.
2006-02-23 Claudio Sacerdoti... 64 "change" here and there in the library are now simpl...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/