]> matita.cs.unibo.it Git - helm.git/commit
near to the final version ...
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Feb 2006 23:09:56 +0000 (23:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Feb 2006 23:09:56 +0000 (23:09 +0000)
commit537a83ce3480e3bf4719f61f79dbed6081f5b1b2
tree4951ff9f53e86150318a2241232b8d69e2f570c9
parentf9a26b56a3945afb2ff6167fcac61a21377bf0cf
near to the final version ...
helm/papers/matita/matita2.tex