]> matita.cs.unibo.it Git - helm.git/commit
first part on disambiguation passes
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 28 Nov 2005 13:01:50 +0000 (13:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 28 Nov 2005 13:01:50 +0000 (13:01 +0000)
commitaf95120ce01907e21b53ebcf23e085590fa9eb04
tree7bbdb6e01378aa7c703f2a81f6395f38f6a4b175
parent33581c2ba6d8414968f4d3375352526ebf831a68
first part on disambiguation passes
helm/papers/matita/matita.bib
helm/papers/matita/matita2.tex