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: 948bb5d) | patch

author	denes <??>
	Fri, 17 Jul 2009 09:37:13 +0000 (09:37 +0000)
committer	denes <??>
	Fri, 17 Jul 2009 09:37:13 +0000 (09:37 +0000)
commit	95a14ced97592a4116485f94c6ffa806feb62dbc
tree	9e946f32b62dc287ec23ba9f70b49b852070fc40	tree \| snapshot
parent	948bb5d710c5d7f3185b6fef76c8e71f247cc664	commit \| diff

Branched paramodulation for CNF (Horn clauses)

17 files changed:

helm/software/components/binaries/matitaprover/run_on_a_list.sh		diff \| blob \| history
helm/software/components/binaries/transcript/.depend		diff \| blob \| history
helm/software/components/binaries/transcript/.depend.opt		diff \| blob \| history
helm/software/components/extlib/hExtlib.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/foUtils.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/foUtils.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/index.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/index.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/orderings.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/orderings.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/superposition.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/superposition.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/terms.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/terms.mli		diff \| blob \| history
helm/software/components/syntax_extensions/.depend		diff \| blob \| history
helm/software/components/tptp_grafite/Makefile		diff \| blob \| history
helm/software/components/tptp_grafite/parser.mly		diff \| blob \| history

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