]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3aeca35) | patch
paramodulation is no longer a self-alone module
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Jan 2006 14:07:07 +0000 (14:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Jan 2006 14:07:07 +0000 (14:07 +0000)
commitff4f8bef029d1c55b2e50c5635b0ca98c967d9ff
treeaf39e72547a9d3819e3a4c050b1446c281e3954etree | snapshot
parent3aeca350068456256c8eadb7b1784909e238b79fcommit | diff
paramodulation is no longer a self-alone module
helm/ocaml/clusters.dot diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.