From: Stefano Zacchiroli Date: Sun, 14 Mar 2004 10:21:12 +0000 (+0000) Subject: added final version of the paper (for the records) X-Git-Tag: v0_0_4~16 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c5e2cfac3121f1801de9163b0a189189bb29114;p=helm.git 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 index 000000000..ab4fd2bdb 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 index 000000000..085afb245 Binary files /dev/null and b/helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz differ