matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 15 Feb 2006 13:04:35 +0000 (13:04 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 15 Feb 2006 13:04:35 +0000 (13:04 +0000)
commit	9393a9f9370014c904244358abe4ec6e11a9d158
tree	b879166058fdd31a43656c5f1d9d34323d092bb0	tree \| snapshot
parent	4ab6b4054730b9ed419f0c4296f9deda9ab321b2	commit \| diff

added support for "polymorphic" coercions

23 files changed:

components/cic_unification/cicMetaSubst.ml		diff \| blob \| history
components/cic_unification/cicRefine.ml		diff \| blob \| history
components/cic_unification/cicRefine.mli		diff \| blob \| history
components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
components/grafite_engine/grafiteSync.ml		diff \| blob \| history
components/grafite_engine/grafiteSync.mli		diff \| blob \| history
components/library/.depend		diff \| blob \| history
components/library/Makefile		diff \| blob \| history
components/library/cicCoercion.ml		diff \| blob \| history
components/library/cicCoercion.mli		diff \| blob \| history
components/library/coercDb.ml		diff \| blob \| history
components/library/coercDb.mli		diff \| blob \| history
components/library/coercGraph.ml		diff \| blob \| history
components/library/coercGraph.mli		diff \| blob \| history
components/library/librarySync.ml		diff \| blob \| history
components/library/librarySync.mli		diff \| blob \| history
components/library/refinementTool.ml	[new file with mode: 0644]	blob
components/tactics/proofEngineTypes.ml		diff \| blob \| history
matita/library/algebra/groups.ma		diff \| blob \| history
matita/library/algebra/monoids.ma		diff \| blob \| history
matita/matita.ml		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history
matita/scripts/crontab.sh		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.