]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/library/cicElim.ml
Timings
[helm.git] / helm / software / components / library / cicElim.ml
2008-04-22 Enrico Tassioblivion ugraph everywhere outside the kernel
2008-04-11 Enrico Tassiwhen we build the elimination principle we fresh univer...
2008-02-08 Claudio Sacerdoti... Bug fixed in generation of elimination principles of...
2007-11-05 Claudio Sacerdoti... "f" => "aux" to avoid name clashes
2006-09-04 Andrea AspertiGeneration of inductive and inversion principles for...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/