]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic_unification/coercGraph.mli
parameter sintax added to axiom statement
[helm.git] / helm / software / components / cic_unification / coercGraph.mli
2009-09-09 Enrico Tassisome more work for ng-coercions
2009-01-13 Enrico Tassimany changes regarding coercions:
2008-09-05 Enrico Tassiunification+pullback fix. It used to saturate a coercio...
2008-07-10 Enrico Tassifixed regression in casting an argument to funclass...
2008-07-07 Enrico Tassisimplified coercDb implementation with additional info...
2007-07-19 Enrico TassiCOERCIONS: tentative addition of an equivalence relatio...
2007-01-05 Enrico TassiAdded check for duplicate (convertible) composite coerc...
2006-12-14 Claudio Sacerdoti... Huge commit: