]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b4ec24) | patch
fixed List.for_all2 called without knowing if the two lists have the same length
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 17 Oct 2010 09:09:12 +0000 (09:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 17 Oct 2010 09:09:12 +0000 (09:09 +0000)
commitc6ee1124bbfd9ecf01ed5fd5b92e0b32b2c47d97
tree386ad0c09a8b33b060c283b022f26e93ba6b59dctree | snapshot
parent3b4ec24b0bf7b1cd23cdc632fa3fcbb9dbbda139commit | diff
fixed List.for_all2 called without knowing if the two lists have the same length
helm/software/components/ng_paramodulation/orderings.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.