Nominal/Ex/CPS/CPS3_DanvyFilinski.thy
Mon, 24 Mar 2014 15:31:17 +0000 Christian Urban updated to massive changes in Isabelle
Tue, 07 Aug 2012 18:54:52 +0100 Christian Urban definition of an auxiliary graph in nominal-primrec definitions
Sun, 15 Jul 2012 13:03:47 +0100 Christian Urban added a simproc for alpha-equivalence to the simplifier
Tue, 12 Jun 2012 01:23:52 +0100 Christian Urban added finfun-type to Nominal
Mon, 11 Jun 2012 14:02:57 +0100 Christian Urban added CPS files to test (not all proofs have been completed)
Wed, 21 Dec 2011 17:05:00 +0900 Cezary Kaliszyk Reorder constructors to match Lambda
Fri, 19 Aug 2011 12:49:38 +0900 Cezary Kaliszyk Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
Sun, 24 Jul 2011 07:54:54 +0200 Cezary Kaliszyk update to 'termination (eqvt)'.
Tue, 12 Jul 2011 03:12:32 +0900 Cezary Kaliszyk use eqvt_at_perm
Mon, 11 Jul 2011 23:42:22 +0900 Cezary Kaliszyk Experiment with permuting eqvt_at
Fri, 24 Jun 2011 11:03:53 +0900 Cezary Kaliszyk Theory name changes for JEdit
Tue, 21 Jun 2011 23:59:36 +0900 Cezary Kaliszyk Minor
Thu, 16 Jun 2011 22:00:52 +0900 Cezary Kaliszyk merge
Thu, 16 Jun 2011 13:32:36 +0100 Christian Urban moved for the moment CPS translations into the example directory
less more (0) tip