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: 5bd00cf) | 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	a060ed37101ce0e97bc26af8d49ce2491471c60c
tree	a99b806369ab9e098273475561a82e4256f4977d	tree \| snapshot
parent	5bd00cfdff937c2bb6c257f9c28b00ca027103e0	commit \| diff

added a new type for proofs.

14 files changed:

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

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