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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 29 Sep 2006 14:41:27 +0000 (14:41 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 29 Sep 2006 14:41:27 +0000 (14:41 +0000)
commit	1b1a0b78ea59c7f0fe2bf7ffda4a5cda260add35
tree	7c6d2fd2381af8fc83c570a1fd9fde60aff67bc3	tree \| snapshot
parent	c93b71e6c429cd13ed4d223c4379174bfdb8e74d	commit \| diff

renamed inference in founif that is more appropriate

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

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