# HG changeset patch # User Christian Urban # Date 1271075483 -7200 # Node ID 2e849bc2163ae2a7ffe6519ac424ff2ea0b7275e # Parent ae176476b5253b3004bb4e79a8de51dc2e0c739a added alpha-caml paper diff -r ae176476b525 -r 2e849bc2163a Literature/fpottier-alphacaml.pdf Binary file Literature/fpottier-alphacaml.pdf has changed