]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/higher_order_defs
...
[helm.git] / helm / software / matita / library / higher_order_defs /
2008-07-15 Enrico Tassimore notation moved to core notation, unification of...
2008-06-09 Claudio Sacerdoti... Most of the time, URIs can now be replaced with identif...
2006-07-24 Andrea AspertiA compiling version of the library.
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/