]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/library/coercDb.ml
select honors the substitution
[helm.git] / helm / software / components / library / coercDb.ml
2009-01-13 Enrico Tassimany changes regarding coercions:
2009-01-06 Enrico Tassicoercions reordering implemented
2008-07-07 Enrico Tassisimplified coercDb implementation with additional info...
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-11-16 Enrico Tassicompose tactic restore and added nocomposites keyword
2007-09-08 Enrico Tassiremoved an assertion that makes no more sense to me
2007-08-30 Enrico Tassireverted assertion, since it may happen to look for...
2007-08-30 Claudio Sacerdoti... Coercions are now generalized to the general form
2007-08-30 Enrico Tassicoercions from funclass are not supported
2007-07-19 Enrico TassiCOERCIONS: tentative addition of an equivalence relatio...
2006-12-14 Claudio Sacerdoti... Huge commit:
2006-11-05 Claudio Sacerdoti... Critical bug finally found after a long chasing!!!
2006-10-12 Enrico Tassicarr_of_term now returns Fun if a Prod is encountered
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-07-12 Stefano Zacchiroliadded uri_of_carr
2006-07-10 Enrico Tassiimproved coercions support:
2006-04-14 Enrico Tassi added minimal euristic for generic terms carrier compa...
2006-02-18 Claudio Sacerdoti... Bug fixed: the source and target of declared parametric...
2006-02-15 Enrico Tassiadded support for "polymorphic" coercions
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/