]> matita.cs.unibo.it Git - helm.git/commit
auto proof are printed in procedural style
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 13:02:02 +0000 (13:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 13:02:02 +0000 (13:02 +0000)
commit36dd8daeea2b685837d27e84ca204548d8d280fd
tree8dd76f27b02aa178d10788a3bc95054ccc62d136
parent5d1cece5f42866b34566a0f616aa3b46a77359a3
auto proof are printed in procedural style
helm/software/matita/matitaScript.ml