]> matita.cs.unibo.it Git - helm.git/commit
Added a function remove_unit_clause
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 Dec 2009 09:48:37 +0000 (09:48 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 Dec 2009 09:48:37 +0000 (09:48 +0000)
commit449295993c1fb0732fd5b14a570f8c5260653164
treee39ca8ef4fbe030fac11de438396e83db0bea0cb
parent546e74b52ee86a69cb735c699098dbf64274cf54
Added a function remove_unit_clause
helm/software/components/ng_paramodulation/index.ml
helm/software/components/ng_paramodulation/index.mli