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: 1bff098) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 2 Oct 2009 17:58:08 +0000 (17:58 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 2 Oct 2009 17:58:08 +0000 (17:58 +0000)
commit	63b86fce8a75490b957e7301517b9006f58321b6
tree	b69a2aedf2c733f7a89e007252b84e88adf448b4	tree \| snapshot
parent	1bff098f89787157818e2eb62acd6fcf4a2979d2	commit \| diff

fixed bug in coercion application, input/output swapped in unification

16 files changed:

helm/software/components/acic_content/cicNotationPp.ml		diff \| blob \| history
helm/software/components/acic_content/cicNotationPt.ml		diff \| blob \| history
helm/software/components/acic_content/cicNotationUtil.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralTypes.ml		diff \| blob \| history
helm/software/components/cic_disambiguation/cicDisambiguate.ml		diff \| blob \| history
helm/software/components/disambiguation/disambiguate.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicPp.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicPp.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicUntrusted.ml		diff \| blob \| history
helm/software/components/ng_tactics/nCicElim.ml		diff \| blob \| history
helm/software/components/ng_tactics/nInversion.ml		diff \| blob \| history
helm/software/components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history

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