# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1458498967 0
# Node ID 4d5c31bb78c5550b8f34f241465e43046e30dfc7
# Parent  c6612bffb0c1d6f5efab4f6aad838720c8d451ab
added Nominal packages

diff -r c6612bffb0c1 -r 4d5c31bb78c5 Publications/Nominal2-2014.tgz
Binary file Publications/Nominal2-2014.tgz has changed
diff -r c6612bffb0c1 -r 4d5c31bb78c5 Publications/Nominal2-2015.tgz
Binary file Publications/Nominal2-2015.tgz has changed
diff -r c6612bffb0c1 -r 4d5c31bb78c5 Publications/Nominal2-2016.tgz
Binary file Publications/Nominal2-2016.tgz has changed