# HG changeset patch
# User urbanc
# Date 1303961060 0
# Node ID 3c9129f4984638bdd6bf2b4ceb2b19c365fb0a6d
# Parent  10d2d0cbe38130c642330304d578a523c37f1fd3
paper about formalising parsing; seems to have done what we would like to do....probably also appears at ITP'11

diff -r 10d2d0cbe381 -r 3c9129f49846 Literature/ridge11parsing.pdf
Binary file Literature/ridge11parsing.pdf has changed