https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2 Changelog nominal2 Changelog [Nominal2-Isabelle2016-1] updated to Isabelle 2016-1 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/66114fa3d2ee https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/66114fa3d2ee changeset 66114fa3d2ee branch Nominal2-Isabelle2016-1 bookmark tag tip user Christian Urban <urbanc@in.tum.de> description updated to Isabelle 2016-1 files ]]> Christian Urban <urbanc@in.tum.de> Thu, 19 Apr 2018 13:58:22 +0100 [default] updated to Isabelle 2016-1 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/017e33849f4d https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/017e33849f4d changeset 017e33849f4d branch default bookmark tag user Christian Urban <urbanc@in.tum.de> description updated to Isabelle 2016-1 files Nominal/Ex/CPS/CPS1_Plotkin.thy
Nominal/Ex/CPS/CPS2_DanvyNielsen.thy
Nominal/Ex/CPS/CPS3_DanvyFilinski.thy
Nominal/Ex/CPS/CPS3_DanvyFilinski_FCB2.thy
Nominal/Ex/CPS/Lt.thy
Nominal/Ex/Datatypes.thy
Nominal/Ex/Lambda.thy
Nominal/Ex/Pi.thy
Nominal/Ex/TypeSchemes1.thy
Nominal/Ex/TypeSchemes2.thy
Nominal/Ex/Weakening.thy
Nominal/Nominal2.thy
Nominal/Nominal2_Abs.thy
Nominal/Nominal2_Base.thy
Nominal/Nominal2_FCB.thy
Nominal/nominal_atoms.ML
Nominal/nominal_basics.ML
Nominal/nominal_dt_alpha.ML
Nominal/nominal_dt_data.ML
Nominal/nominal_dt_quot.ML
Nominal/nominal_dt_rawfuns.ML
Nominal/nominal_function.ML
Nominal/nominal_function_core.ML
Nominal/nominal_inductive.ML
Nominal/nominal_library.ML
Nominal/nominal_termination.ML
Tutorial/Tutorial1.thy
Tutorial/Tutorial1s.thy
]]> Christian Urban <urbanc@in.tum.de> Thu, 19 Apr 2018 13:57:17 +0100 fixed a problem with two example theories https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/a44479bde681 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/a44479bde681 changeset a44479bde681 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description fixed a problem with two example theories files Nominal/Ex/Lambda.thy
Nominal/Ex/Pi.thy
Nominal/Nominal2.thy
Nominal/Nominal2_Abs.thy
Nominal/Nominal2_Base.thy
Nominal/nominal_atoms.ML
Nominal/nominal_dt_alpha.ML
Nominal/nominal_dt_quot.ML
Nominal/nominal_dt_rawfuns.ML
Nominal/nominal_eqvt.ML
Nominal/nominal_function.ML
Nominal/nominal_function_core.ML
Nominal/nominal_induct.ML
Nominal/nominal_inductive.ML
Nominal/nominal_library.ML
Nominal/nominal_mutual.ML
Nominal/nominal_permeq.ML
Nominal/nominal_thmdecls.ML
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Tue, 22 Mar 2016 12:18:30 +0000 [Nominal2-Isabelle2016] updated to Isabelle 2016 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/c4f31f1564b7 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/c4f31f1564b7 changeset c4f31f1564b7 branch Nominal2-Isabelle2016 bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated to Isabelle 2016 files Nominal/Ex/Lambda.thy
Nominal/Ex/Pi.thy
Nominal/Nominal2.thy
Nominal/Nominal2_Abs.thy
Nominal/Nominal2_Base.thy
Nominal/nominal_atoms.ML
Nominal/nominal_dt_alpha.ML
Nominal/nominal_dt_quot.ML
Nominal/nominal_dt_rawfuns.ML
Nominal/nominal_eqvt.ML
Nominal/nominal_function.ML
Nominal/nominal_function_core.ML
Nominal/nominal_induct.ML
Nominal/nominal_inductive.ML
Nominal/nominal_library.ML
Nominal/nominal_mutual.ML
Nominal/nominal_permeq.ML
Nominal/nominal_thmdecls.ML
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Sat, 19 Mar 2016 21:06:48 +0000 removed junk https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/4af8a92396ce https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/4af8a92396ce changeset 4af8a92396ce branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description removed junk files Nominal/Ex/Lambda.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 20 Jul 2015 11:21:59 +0100 [Nominal2-Isabelle2015] updated branch https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/ece7f031708c https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/ece7f031708c changeset ece7f031708c branch Nominal2-Isabelle2015 bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated branch files ]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 09 Jul 2015 09:13:23 +0100 updated examples https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/f80fa0d18d81 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/f80fa0d18d81 changeset f80fa0d18d81 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated examples files Nominal/Ex/TypeVarsTest.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 09 Jul 2015 09:12:44 +0100 updated for Isabelle 2015 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/67370521c09c https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/67370521c09c changeset 67370521c09c branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated for Isabelle 2015 files Nominal/Ex/Lambda.thy
Nominal/Ex/TypeVarsTest.thy
Nominal/Nominal2.thy
Nominal/Nominal2_Abs.thy
Nominal/Nominal2_Base.thy
Nominal/nominal_atoms.ML
Nominal/nominal_dt_alpha.ML
Nominal/nominal_dt_data.ML
Nominal/nominal_dt_quot.ML
Nominal/nominal_dt_rawfuns.ML
Nominal/nominal_eqvt.ML
Nominal/nominal_function.ML
Nominal/nominal_function_common.ML
Nominal/nominal_function_core.ML
Nominal/nominal_induct.ML
Nominal/nominal_inductive.ML
Nominal/nominal_library.ML
Nominal/nominal_mutual.ML
Nominal/nominal_permeq.ML
Nominal/nominal_termination.ML
Nominal/nominal_thmdecls.ML
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 09 Jul 2015 02:32:46 +0100 updated for 2014 release https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/b2e1a7b83e05 https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/b2e1a7b83e05 changeset b2e1a7b83e05 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated for 2014 release files Tutorial/Tutorial5.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Tue, 08 Jul 2014 11:18:31 +0100 changed add.assoc https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/8ee8f72778ce https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/8ee8f72778ce changeset 8ee8f72778ce branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description changed add.assoc files Nominal/Nominal2_Base.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 07 Jul 2014 10:21:40 +0100