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