added final version of the paper (for the records)

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