]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c900512) | patch
Tried to implement lpo in a more efficient way
authordenes <??>
Mon, 6 Jul 2009 10:28:04 +0000 (10:28 +0000)
committerdenes <??>
Mon, 6 Jul 2009 10:28:04 +0000 (10:28 +0000)
commit047a0464181070aa816c189c7a6dd5ebeb68bc45
tree037a114d5150a45f38cf279bc3761f44bfed9cd9tree | snapshot
parentc900512d028a10f1caf89677c9a7dd61c7a64856commit | diff
Tried to implement lpo in a more efficient way
helm/software/components/ng_paramodulation/orderings.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.