]> matita.cs.unibo.it Git - helm.git/commit
uniformed disambiguation part
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 11:52:27 +0000 (11:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 11:52:27 +0000 (11:52 +0000)
commit1c4f274260deeca43260e2591cf76992508fa56e
treef40ba5e7925bac8f69cec238616c8ed0743344ce
parentc9476a5e112e223c2e0707658229b47c00ca7b5f
uniformed disambiguation part
helm/papers/matita/matita2.tex