]> matita.cs.unibo.it Git - helm.git/commit
profile most operations, do not return a filtered varlist in unif (useless and expensive)
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Jul 2009 10:10:11 +0000 (10:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Jul 2009 10:10:11 +0000 (10:10 +0000)
commit9883f04161a9972f0641dd85faf224b4f2846f05
treebcab3bafe4cc597a33ff695c3b896aa17f2ecb03
parenta6011d00d7c377056ead2e0974c68a7a3ae069d0
profile most operations, do not return a filtered varlist in unif (useless and expensive)
helm/software/components/ng_paramodulation/.depend
helm/software/components/ng_paramodulation/.depend.opt
helm/software/components/ng_paramodulation/foUnif.ml
helm/software/components/ng_paramodulation/foUnif.mli
helm/software/components/ng_paramodulation/foUtils.ml
helm/software/components/ng_paramodulation/foUtils.mli
helm/software/components/ng_paramodulation/superposition.ml