https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2: PAPER-TODO history PAPER-TODO revision history some small changes https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/e42bd9d95f09/PAPER-TODO Christian Urban <urbanc@in.tum.de> Wed, 21 Apr 2010 17:42:57 +0200 small updates to the paper; remaining points in PAPER-TODO https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/23e3dc4f2c59/PAPER-TODO Christian Urban <urbanc@in.tum.de> Mon, 19 Apr 2010 15:37:33 +0200