]> 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)
commitcf4301b669442bdd78984d3a3a1e38660db1f2ea
tree5988f5e6b24e62cfb94c5172c426c681e28233cb
parentd3d4ea54cb895a1adc6cb327df42e1394b3f2bea
CicInspect: a function for counting the nodes of a term has been activated
Procedural: reports on node counting in proof terms are aveilable
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralHelpers.ml
helm/software/components/acic_procedural/proceduralHelpers.mli
helm/software/components/acic_procedural/proceduralOptimizer.ml
helm/software/components/acic_procedural/proceduralTypes.ml
helm/software/components/acic_procedural/proceduralTypes.mli
helm/software/components/cic/cicInspect.ml
helm/software/components/cic/cicInspect.mli