# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1336863576 -3600
# Node ID b365f54c8c1cfd20ce96985085ef1c6a2c1a16d8
# Parent  80092a2565a20c7d03907632d7b65e7620a60f05
added Nominal2-Isabelle2012

diff -r 80092a2565a2 -r b365f54c8c1c Publications/Nominal2-Isabelle2012.tgz
Binary file Publications/Nominal2-Isabelle2012.tgz has changed