]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/superposition.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f59b591) | patch
Fixed a few bugs
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Mar 2010 15:48:42 +0000 (15:48 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Mar 2010 15:48:42 +0000 (15:48 +0000)
commit320c0f89a7e31e996b6eff2b4165eb74e8141cec
tree295941d742b4f3db709d85f63c26159dc74c66eftree | snapshot
parentf59b591eb48a06518b34d7f809bee51989307404commit | diff
Fixed a few bugs

From: asperti <asperti@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/components/ng_paramodulation/nCicProof.ml diff | blob | history
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.