]> matita.cs.unibo.it Git - helm.git/commit
- probe: new application to compute some data on the proof objects of
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 1 Jan 2013 23:01:20 +0000 (23:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 1 Jan 2013 23:01:20 +0000 (23:01 +0000)
commitcbbbc763dc971b43fe74f1d08b797de5d1dc4f17
treef03b74e1933c1c2c0249c1953a83079c9fcf5ce5
parent2d1ca624723598e18ed60cccb16581dda868527f
- probe: new application to compute some data on the proof objects of
a development, such as their net size (aka intrinsinc complexity)
- lambdadelta: Makefile now asks "probe" fore some data
matita/components/binaries/probe/Makefile [new file with mode: 0644]
matita/components/binaries/probe/engine.ml [new file with mode: 0644]
matita/components/binaries/probe/engine.mli [new file with mode: 0644]
matita/components/binaries/probe/matitaList.ml [new file with mode: 0644]
matita/components/binaries/probe/matitaList.mli [new file with mode: 0644]
matita/components/binaries/probe/nCicScan.ml [new file with mode: 0644]
matita/components/binaries/probe/nCicScan.mli [new file with mode: 0644]
matita/components/binaries/probe/options.ml [new file with mode: 0644]
matita/components/binaries/probe/options.mli [new file with mode: 0644]
matita/components/binaries/probe/probe.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/Makefile