# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1336866440 -3600
# Node ID 3a920c14139750602f2ba610e98c7be4f6850d66
# Parent  b365f54c8c1cfd20ce96985085ef1c6a2c1a16d8
tuned

diff -r b365f54c8c1c -r 3a920c141397 Publications/Nominal2-2012.tgz
Binary file Publications/Nominal2-2012.tgz has changed
diff -r b365f54c8c1c -r 3a920c141397 Publications/Nominal2-Isabelle2012.tgz
Binary file Publications/Nominal2-Isabelle2012.tgz has changed