]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Apr 2004 08:23:12 +0000 (08:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Apr 2004 08:23:12 +0000 (08:23 +0000)
commite89486cad653803954662a5e543537acd49a866f
tree592f4c341d5e5c1c6ee160764147e21bae27ab11
parent5c796440126e33778e4b3f763ce37b677b378cc5
snapshot
helm/matita/matita.ml
helm/matita/matitaInterpreter.ml
helm/matita/matitaInterpreter.mli
helm/matita/matitaTypes.ml