https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2: LMCS-Review history LMCS-Review revision history more one the lmcs-paper https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/8be3155c014f/LMCS-Review Christian Urban <urbanc@in.tum.de> Wed, 29 Feb 2012 16:23:11 +0000 implemented all comments from the reviewer https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/d3d5225f4f24/LMCS-Review Christian Urban <urbanc@in.tum.de> Wed, 29 Feb 2012 03:12:52 +0000 updated to explicit set type constructor (post Isabelle 3rd January) https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/f7c4b8e6918b/LMCS-Review Christian Urban <urbanc@in.tum.de> Tue, 03 Jan 2012 11:43:27 +0000 added definition for generalisation of type schemes (for paper) https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/5b5ade6bc889/LMCS-Review Christian Urban <urbanc@in.tum.de> Mon, 02 Jan 2012 16:13:16 +0000 added notes by referees to comment about our changes https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/502b5f02edaf/LMCS-Review Christian Urban <urbanc@in.tum.de> Thu, 29 Dec 2011 12:40:36 +0000