]> matita.cs.unibo.it Git - helm.git/commit
labels here and there
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 10:44:09 +0000 (10:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 10:44:09 +0000 (10:44 +0000)
commit6c43a7f440daf19e2475b7eabd20456bdb0e9f76
tree8414d291249b57fc8b08b5dfeeff65be4fd69885
parent460802c49902d1225b37ac6cd6f5aa599aa5ecd8
labels here and there
helm/papers/matita/matita2.tex