]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c839260) | patch
same heads different arity -> INCOMPARABLE
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Apr 2010 19:52:58 +0000 (19:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Apr 2010 19:52:58 +0000 (19:52 +0000)
commit2e7aca462b7556a3a7369de030bbac8d8205aa92
tree3f0368d22f839e8aa88f8e3e138275b644122020tree | snapshot
parentc839260badc9d172c67df8169de39f07a1304973commit | diff
same heads different arity -> INCOMPARABLE

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