]> matita.cs.unibo.it Git - helm.git/commit
added final version of the paper (for the records)
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 Mar 2004 10:21:12 +0000 (10:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 Mar 2004 10:21:12 +0000 (10:21 +0000)
commit5c5e2cfac3121f1801de9163b0a189189bb29114
tree555782a1d07cc61acb4d9312788ffa3e5186397f
parent31b7c5eb98bdd68ac0d7128d4995c696ebad6518
added final version of the paper (for the records)
helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf [new file with mode: 0644]
helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz [new file with mode: 0644]