]> matita.cs.unibo.it Git - helm.git/commit
Fixed nasty bug in maxvar updating
authordenes <??>
Tue, 23 Jun 2009 10:30:55 +0000 (10:30 +0000)
committerdenes <??>
Tue, 23 Jun 2009 10:30:55 +0000 (10:30 +0000)
commit8863adcc7dc67d3f4f6ba96c2424698cd6b21446
treec58324110368fa63a25c481884b6414b2e46af56
parentcf60cad5ad896f358d6e8dd2ded1c0430ba2c55c
Fixed nasty bug in maxvar updating
helm/software/components/ng_paramodulation/nCicBlob.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/pp.ml
helm/software/components/ng_paramodulation/superposition.ml