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: 2454012) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 26 Apr 2006 09:21:07 +0000 (09:21 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 26 Apr 2006 09:21:07 +0000 (09:21 +0000)
commit	ba2372bd35aec412f5a7b61e5431236505567c43
tree	019f167684b4b68556663e69cd7221799adac2ce	tree \| snapshot
parent	2454012bf7a44cd604ee49dc8fba2c24b49e43aa	commit \| diff

added a new type for proofs.

14 files changed:

components/tactics/.depend		diff \| blob \| history
components/tactics/Makefile		diff \| blob \| history
components/tactics/autoTactic.ml		diff \| blob \| history
components/tactics/paramodulation/equality.ml	[new file with mode: 0644]	blob
components/tactics/paramodulation/equality.mli	[new file with mode: 0644]	blob
components/tactics/paramodulation/equality_indexing.ml		diff \| blob \| history
components/tactics/paramodulation/equality_indexing.mli		diff \| blob \| history
components/tactics/paramodulation/indexing.ml		diff \| blob \| history
components/tactics/paramodulation/indexing.mli		diff \| blob \| history
components/tactics/paramodulation/inference.ml		diff \| blob \| history
components/tactics/paramodulation/inference.mli		diff \| blob \| history
components/tactics/paramodulation/saturation.ml		diff \| blob \| history
components/tactics/paramodulation/utils.ml		diff \| blob \| history
components/tactics/paramodulation/utils.mli		diff \| blob \| history

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