]> matita.cs.unibo.it Git - helm.git/commitdiff
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)
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]

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf b/helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf
new file mode 100644 (file)
index 0000000..ab4fd2b
Binary files /dev/null and b/helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf differ
diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz b/helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz
new file mode 100644 (file)
index 0000000..085afb2
Binary files /dev/null and b/helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz differ