]> matita.cs.unibo.it Git - helm.git/commit
Removed unused parameter of unification procedure (vars)
authordenes <??>
Fri, 10 Jul 2009 10:12:16 +0000 (10:12 +0000)
committerdenes <??>
Fri, 10 Jul 2009 10:12:16 +0000 (10:12 +0000)
commiteeffdf0672400325577c1df83e10ad700b223262
tree634b5f635dccb98b3244cbc58d0b290328ca540e
parentb68e52f889215ce2c21c3d771f59b2d2057d53c1
Removed unused parameter of unification procedure (vars)
helm/software/components/ng_paramodulation/foUnif.ml
helm/software/components/ng_paramodulation/foUnif.mli
helm/software/components/ng_paramodulation/superposition.ml