]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8de1a75) | patch
Added optionnal one pass simplification (instead of keep_simplified)
authordenes <??>
Wed, 17 Jun 2009 08:47:34 +0000 (08:47 +0000)
committerdenes <??>
Wed, 17 Jun 2009 08:47:34 +0000 (08:47 +0000)
commita15dc157f7e63db12b9a7b59cf00aea108d7e073
treefbd574ce34e14cc6578241314b39482caa3684c0tree | snapshot
parent8de1a75899a83dd31e856804bd448c1bd87d9ab3commit | diff
Added optionnal one pass simplification (instead of keep_simplified)
Fix for varlists (we traverse the term to collect occuring variables)
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.