]> matita.cs.unibo.it Git - helm.git/history - components/library/.depend
Huge commit:
[helm.git] / components / library / .depend
2006-12-14 Claudio Sacerdoti... Huge commit:
2006-09-29 Enrico Tassinew version of auto that is able to prove the irrationa...
2006-03-10 marangonAdded inversion principle creation for inductive predic...
2006-02-15 Enrico Tassiadded support for "polymorphic" coercions
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/