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

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

author	denes <??>
	Fri, 5 Jun 2009 15:33:35 +0000 (15:33 +0000)
committer	denes <??>
	Fri, 5 Jun 2009 15:33:35 +0000 (15:33 +0000)
commit	b97a7976503b2d2e5cbc9199f848135a324775a8
tree	66e0df60a772fbc30dee2053fd0d3e504b1e72fe	tree \| snapshot
parent	3fb8cc2606e15f256f93c653b5136f609b385208	commit \| diff

First tests for paramodulation (pretty printer, unification)

25 files changed:

helm/software/components/METAS/meta.helm-ng_tactics.src		diff \| blob \| history
helm/software/components/Makefile		diff \| blob \| history
helm/software/components/binaries/transcript/.depend		diff \| blob \| history
helm/software/components/grafite/grafiteAst.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/.depend		diff \| blob \| history
helm/software/components/ng_paramodulation/Makefile		diff \| blob \| history
helm/software/components/ng_paramodulation/cicBlob.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/fosubst.ml	[new file with mode: 0644]	blob
helm/software/components/ng_paramodulation/fosubst.mli	[new file with mode: 0644]	blob
helm/software/components/ng_paramodulation/founif.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/index.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicBlob.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/paramod.ml	[new file with mode: 0644]	blob
helm/software/components/ng_paramodulation/paramod.mli	[new file with mode: 0644]	blob
helm/software/components/ng_paramodulation/subst.ml	[deleted file]	blob \| history
helm/software/components/ng_paramodulation/subst.mli	[deleted file]	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/ng_tactics/nTactics.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTactics.mli		diff \| blob \| history
helm/software/matita/tests/depends		diff \| blob \| history
helm/software/matita/tests/paratest.ma	[new file with mode: 0644]	blob

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

RSS Atom