]> matita.cs.unibo.it Git - helm.git/commit
removed old version of the matita paper
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:05:44 +0000 (17:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:05:44 +0000 (17:05 +0000)
commitcd1e21729f5fcd624e2e22605e9cb4b5a8175592
tree7b40e3715e4b3d1cb5bd602a8b32090ddc29de4e
parent7aed83dc33c168b0d2d80702c2c0fa076b13a215
removed old version of the matita paper
helm/papers/matita/matita.tex [deleted file]