X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fwhelp%2Fdisambiguation-1.pdf;fp=helm%2Fpapers%2Fwhelp%2Fdisambiguation-1.pdf;h=4b239ffda272143274ec026b9f68d61a587a2804;hb=c9476a5e112e223c2e0707658229b47c00ca7b5f;hp=0000000000000000000000000000000000000000;hpb=7099c10f54741e2ecb2f69ef33490ac92b513c4d;p=helm.git

diff --git a/helm/papers/whelp/disambiguation-1.pdf b/helm/papers/whelp/disambiguation-1.pdf
new file mode 100644
index 000000000..4b239ffda
Binary files /dev/null and b/helm/papers/whelp/disambiguation-1.pdf differ