https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2: Attic/FIXME-TODO history Attic/FIXME-TODO revision history Update Quotient FIXME-TODO, some issues were already fixed. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/16b5f4189075/Attic/FIXME-TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Tue, 20 Dec 2011 17:58:34 +0900 constants with the same names https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/0599286b1e2a/Attic/FIXME-TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Wed, 22 Jun 2011 17:57:15 +0900 Quotients/TODO addtion https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/05a4745b0a9d/Attic/FIXME-TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Wed, 22 Jun 2011 04:49:56 +0900 Update Quotient/TODO and remove some attic code https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/b58073719b06/Attic/FIXME-TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Mon, 20 Jun 2011 08:50:13 +0900 Minor https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/0913f697fe73/Attic/FIXME-TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Fri, 23 Apr 2010 11:12:38 +0200 Update TODO https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/66fc26f32f25/Attic/FIXME-TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Fri, 26 Feb 2010 16:22:47 +0100 moved Quot package to Attic (still compiles there with "isabelle make") https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/9df6144e281b/Attic/FIXME-TODO Christian Urban <urbanc@in.tum.de> Thu, 25 Feb 2010 07:57:17 +0100