]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03cb4be) | patch
ported to new cut and letin "API"
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Nov 2004 11:03:43 +0000 (11:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Nov 2004 11:03:43 +0000 (11:03 +0000)
commit96c2feeb6b1d27e25b7bca582ff6c25a4f87dca8
tree978efb890296b5f2247cdb33526cd86902f70718tree | snapshot
parent03cb4be465e546a00f870213b14dcf1b71c4831dcommit | diff
ported to new cut and letin "API"
helm/gTopLevel/proofEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.