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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8a4c83c) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 9 Sep 2009 11:51:00 +0000 (11:51 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 9 Sep 2009 11:51:00 +0000 (11:51 +0000)
commit	889815067d64e081eb90ea1a792890c2ad4e511c
tree	6098d9d0be7239fe5675e343ae7f7e68ab540b69	tree \| snapshot
parent	8a4c83c6341976f2bb70eb44a0c70f2aa95ad3ea	commit \| diff

some more work for ng-coercions

15 files changed:

helm/software/components/cic_unification/coercGraph.ml		diff \| blob \| history
helm/software/components/cic_unification/coercGraph.mli		diff \| blob \| history
helm/software/components/grafite_engine/.depend		diff \| blob \| history
helm/software/components/grafite_engine/Makefile		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_engine/nCicCoercDeclaration.ml	[new file with mode: 0644]	blob
helm/software/components/grafite_engine/nCicCoercDeclaration.mli	[new file with mode: 0644]	blob
helm/software/components/ng_kernel/nCicPp.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/.depend		diff \| blob \| history
helm/software/components/ng_refiner/.depend		diff \| blob \| history
helm/software/components/ng_refiner/nCicCoercion.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicCoercion.mli		diff \| blob \| history
helm/software/components/ng_refiner/nCicRefiner.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnifHint.ml		diff \| blob \| history
helm/software/matita/matitaMathView.ml		diff \| blob \| history

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