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: 46bfce7) | patch

author	denes <??>
	Mon, 1 Jun 2009 16:36:42 +0000 (16:36 +0000)
committer	denes <??>
	Mon, 1 Jun 2009 16:36:42 +0000 (16:36 +0000)
commit	4514417676056e0be6cc481a931e70a627882867
tree	a05c46511bba7aefeb7b6abe8cdbb4a2e7dbc673	tree \| snapshot
parent	46bfce7d0f09058ca063766192a1d4251ce7df63	commit \| diff

First implementation of unification on foterms

helm/software/components/ng_paramodulation/founif.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/founif.mli		diff \| blob \| history

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