matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/paramod.ml

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/paramod.ml

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 86a273d) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 18 Dec 2009 08:53:10 +0000 (08:53 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 18 Dec 2009 08:53:10 +0000 (08:53 +0000)
commit	dce1bca274f93a3bddcc0f6b04cbf126ccff42b0
tree	92881ea7c10ff7a6edce1d786a6a3e82bd12ffd4	tree \| snapshot
parent	86a273d0b145e058baf50b6e97fcb0dc0adc90e3	commit \| diff

Final subst returned by superposition and passed around.

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