https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2: README history README revision history changed nominal_primrec into the more appropriate nominal_function https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/5ebd327ffb96/README Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 19 May 2014 12:45:26 +0100 tuned https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/0f76f481dbb5/README Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 11 Mar 2013 16:37:54 +0000 updated for 2013 release https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/da575186d492/README Christian Urban <christian dot urban at kcl dot ac dot uk> Tue, 19 Feb 2013 06:58:14 +0000 updated README https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/d3f7c8cce53b/README Christian Urban <christian dot urban at kcl dot ac dot uk> Tue, 19 Feb 2013 05:42:51 +0000 tuned https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/645ee5189bec/README Christian Urban <christian dot urban at kcl dot ac dot uk> Tue, 19 Feb 2013 04:21:11 +0000 fixed problem with not fresh enough permutation name in nominal_primrec https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/b69c8660de14/README Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 29 Nov 2012 21:59:38 +0000 cleaned all papers from the stable branch https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/4b4742aa43f2/README Christian Urban <urbanc@in.tum.de> Sat, 17 Dec 2011 17:03:01 +0000 merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/8193bbaa07fe/README Christian Urban <urbanc@in.tum.de> Sun, 14 Nov 2010 16:34:47 +0000 more on the pearl paper https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/e903c32ec24f/README Christian Urban <urbanc@in.tum.de> Wed, 13 Oct 2010 22:55:58 +0100 tuned https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/2f47291b6ff9/README Christian Urban <urbanc@in.tum.de> Sun, 29 Aug 2010 12:17:25 +0800 updated todos https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/39f8d405d7a2/README Christian Urban <urbanc@in.tum.de> Sun, 29 Aug 2010 12:14:40 +0800 added paper by james; some minor cleaning https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/e8b9c0ebf5dd/README Christian Urban <urbanc@in.tum.de> Sun, 25 Jul 2010 22:42:21 +0200 separated general nominal theory into separate folder https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/c34347ec7ab3/README Christian Urban <urbanc@in.tum.de> Sun, 04 Apr 2010 21:39:28 +0200 added README and moved examples into separate directory https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/c0eac04ae3b4/README Christian Urban <urbanc@in.tum.de> Sat, 03 Apr 2010 22:31:11 +0200