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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 50d12d6) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 18 Mar 2010 11:22:11 +0000 (11:22 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 18 Mar 2010 11:22:11 +0000 (11:22 +0000)
commit	8c678be0b7ee11a60f21b002553cc414f1d18267
tree	6a2ba0be89ac86f0151b1be6a3878e6093e32b79	tree \| snapshot
parent	50d12d683b3f1fb9739b1308ca7f328e3e382f1b	commit \| diff

Exporting the demodulation function.

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