]> matita.cs.unibo.it Git - helm.git/commit
CicInspect: a function for counting the nodes of a term has been activated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 May 2007 12:59:43 +0000 (12:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 May 2007 12:59:43 +0000 (12:59 +0000)
commit6bd485b5c69ab84ff70afc377a18456bb7860ffc
tree313c16ddc0df1d57a70193c16884f55f8ac53662
parentff7453211b4c3bcd4a3b65d86450b4ade1882400
CicInspect: a function for counting the nodes of a term has been activated
Procedural: reports on node counting in proof terms are aveilable
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralHelpers.ml
components/acic_procedural/proceduralHelpers.mli
components/acic_procedural/proceduralOptimizer.ml
components/acic_procedural/proceduralTypes.ml
components/acic_procedural/proceduralTypes.mli
components/cic/cicInspect.ml
components/cic/cicInspect.mli