https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2: TODO history TODO revision history TODO/minor https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/99583bd6a7b2/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Mon, 20 Jun 2011 10:16:12 +0900 More minor TODOs https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/1628e47fa57c/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Mon, 20 Jun 2011 09:38:57 +0900 Update TODO https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/fac8b28f2a23/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Mon, 20 Jun 2011 09:36:16 +0900 misc https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/8412c7e503d4/TODO Christian Urban <urbanc@in.tum.de> Fri, 13 May 2011 14:50:17 +0100 updated TODO https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/dd5b60bccfd4/TODO Christian Urban <urbanc@in.tum.de> Fri, 04 Feb 2011 04:45:04 +0000 updated todos https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/39f8d405d7a2/TODO Christian Urban <urbanc@in.tum.de> Sun, 29 Aug 2010 12:14:40 +0800 small cleaning https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/83f1b16486ee/TODO Christian Urban <urbanc@in.tum.de> Mon, 26 Jul 2010 09:19:28 +0200 Separate Term8, as it may work soon. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/6800fcaafa2a/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Tue, 04 May 2010 14:21:18 +0200 Some of the exceptions that the parser should check in TODO. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/72bed4519c86/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Thu, 29 Apr 2010 16:16:45 +0200 added TODO item about parser creating syntax for the wrong type https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/d7a2c45b447a/TODO Christian Urban <urbanc@in.tum.de> Sun, 11 Apr 2010 22:01:56 +0200 added small ittems about equivaraince of alpha_gens and name of lam.perm https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/9a32e02cc95b/TODO Christian Urban <urbanc@in.tum.de> Sun, 11 Apr 2010 18:06:45 +0200 updated (comment about weirdo example) https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/d51aab59bfbf/TODO Christian Urban <urbanc@in.tum.de> Thu, 08 Apr 2010 11:52:05 +0200 properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper) https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/c29a139410d2/TODO Christian Urban <urbanc@in.tum.de> Thu, 08 Apr 2010 11:40:13 +0200 added an item about alpha-equivalence (the existential should be closer to the abstraction) https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/be28f7b4b97b/TODO Christian Urban <urbanc@in.tum.de> Thu, 01 Apr 2010 01:05:05 +0200 Parsing of list-bn functions into components. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/23f81992da8f/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Sat, 27 Mar 2010 12:01:28 +0100 Update cheats in TODO. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/b4e330083383/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Fri, 26 Mar 2010 10:35:26 +0100 Update TODO https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/ba837d3ed37f/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Thu, 25 Mar 2010 15:06:58 +0100 Got rid of alpha_bn_rsp_cheat. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/7b8f570b2450/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Mon, 22 Mar 2010 17:21:27 +0100 fv_rsp proved automatically. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/b39108f42638/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Mon, 22 Mar 2010 14:07:07 +0100 Use 'alpha_bn_refl' to get rid of one of the sorrys. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/c3dca6e600c8/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Sat, 20 Mar 2010 09:27:28 +0100 Described automatically created funs. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/73992021c8f0/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Fri, 19 Mar 2010 18:56:13 +0100 added item about size functions https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/e1c74b864b1b/TODO Christian Urban <urbanc@in.tum.de> Thu, 18 Mar 2010 23:38:01 +0100 Continued description of alpha. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/e3a82a3529ce/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Thu, 18 Mar 2010 15:32:49 +0100 Added fv,bn,distinct,perm to the simplifier. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/be911e869fde/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Thu, 18 Mar 2010 12:09:59 +0100 fv_bn may need to call other fv_bns. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/f685be70a464/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Thu, 18 Mar 2010 11:16:53 +0100 Update TODO. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/8639077e0f43/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Thu, 18 Mar 2010 10:15:57 +0100 Which proofs need a 'sorry'. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/cc0dcf248da3/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Thu, 18 Mar 2010 10:12:41 +0100 added TODO https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/7e7dc267ae6b/TODO Christian Urban <urbanc@in.tum.de> Thu, 18 Mar 2010 10:05:36 +0100