# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1367229743 -3600
# Node ID 4a943f0fe1b089dc41251d76157010919b1ac6a0
# Parent  e59e549e6ab66fea431aa900a8e83b734554ffb5
added mechanizing separation algebra paper

diff -r e59e549e6ab6 -r 4a943f0fe1b0 Literature/mechanizing_sa.pdf
Binary file Literature/mechanizing_sa.pdf has changed