]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite/grafiteMarshal.ml
new dependences
[helm.git] / helm / software / components / grafite / grafiteMarshal.ml
2009-01-13 Enrico Tassimany changes regarding coercions:
2008-06-24 Enrico Tassinotation factored, coercion commant taking terms and...
2007-08-30 Claudio Sacerdoti... Coercions are now generalized to the general form
2006-11-23 Andrea AspertiAdded a new command "index" for the indexing terms...
2006-09-27 Claudio Sacerdoti... Initial work on setoids:
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/