]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f77bd6) | patch
two cases should be assert false at least in TPTP
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Jul 2009 10:01:23 +0000 (10:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Jul 2009 10:01:23 +0000 (10:01 +0000)
commit57e9e88aa1340997956b1e96ce7d470417a21412
tree945b6a6d93f544777b4ade3f97e4e71927e9fb61tree | snapshot
parent2f77bd6071bd316ed0a91448f4c04e638f853442commit | diff
two cases should be assert false at least in TPTP
helm/software/components/ng_paramodulation/orderings.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.