]> matita.cs.unibo.it Git - helm.git/commit
tidied .tex
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 28 Jan 2006 08:51:58 +0000 (08:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 28 Jan 2006 08:51:58 +0000 (08:51 +0000)
commit5580875d08eb17a1e280e48b6f5d0a4a6b5f8baf
treebb041f5bebbc8c9500945fa7c30246e28ace24b1
parentec13ac23f555f04b0a546d0e8ae464d9b5806d9b
tidied .tex
helm/papers/matita/matita2.tex