https://cflmark.nms.kcl.ac.uk/hg/tm2/ en-us tm2 Changelog tm2 Changelog [default] deleted *~ files https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/1cde7bf45858 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/1cde7bf45858 changeset 1cde7bf45858 branch default bookmark tag tip user Christian Urban <christian dot urban at kcl dot ac dot uk> description deleted *~ files files Separation_Algebra/Sep_Tactics.thy~
Separation_Algebra/Separation_Algebra.thy~
Separation_Algebra/ex/Sep_Tactics_Test.thy~
Separation_Algebra/ex/Simple_Separation_Example.thy~
progtut/Advanced.thy~
progtut/Essential.thy~
progtut/FirstStep.thy~
progtut/Tactical.thy~
progtut/progtut.thy~
thys2/ROOT~
thys2/Sort_ops.thy~
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Sat, 13 Sep 2014 04:39:07 +0100 thys2 added https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/a5f5b9336007 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/a5f5b9336007 changeset a5f5b9336007 branch bookmark tag user Xingyuan Zhang <xingyuanzhang@126.com> description thys2 added files ROOT
Separation_Algebra/Map_Extra.thy
Separation_Algebra/README
Separation_Algebra/ROOT
Separation_Algebra/Sep_Eq.thy
Separation_Algebra/Sep_Heap_Instance.thy
Separation_Algebra/Sep_Tactics.thy
Separation_Algebra/Sep_Tactics.thy~
Separation_Algebra/Separation_Algebra.thy
Separation_Algebra/Separation_Algebra.thy-orig
Separation_Algebra/Separation_Algebra.thy~
Separation_Algebra/Separation_Algebra_Alt.thy
Separation_Algebra/config
Separation_Algebra/document/root.bib
Separation_Algebra/document/root.tex
Separation_Algebra/ex/Sep_Tactics_Test.thy
Separation_Algebra/ex/Sep_Tactics_Test.thy~
Separation_Algebra/ex/Simple_Separation_Example.thy
Separation_Algebra/ex/Simple_Separation_Example.thy~
Separation_Algebra/ex/VM_Example.thy
Separation_Algebra/ex/capDL/Abstract_Separation_D.thy
Separation_Algebra/ex/capDL/Separation_D.thy
Separation_Algebra/ex/capDL/Types_D.thy
Separation_Algebra/sep_tactics.ML
progtut/Advanced.thy
progtut/Advanced.thy~
progtut/Essential.thy
progtut/Essential.thy~
progtut/FirstStep.thy
progtut/FirstStep.thy~
progtut/Tactical.thy
progtut/Tactical.thy~
progtut/progtut.thy
progtut/progtut.thy~
progtut/progtutorial.pdf
thys/ROOT
thys2/Data_slot.thy
thys2/Hoare_abc.thy
thys2/Hoare_gen.thy
thys2/Hoare_tm.thy
thys2/Hoare_tm_basis.thy
thys2/MLs.thy
thys2/My_block.thy
thys2/ROOT
thys2/ROOT~
thys2/Recs.thy
thys2/Sort_ops.thy
thys2/Sort_ops.thy~
thys2/Subgoal.thy
thys2/Term_pat.thy

]]> Xingyuan Zhang <xingyuanzhang@126.com> Sat, 13 Sep 2014 10:07:14 +0800 new change https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/77daf1b85cf0 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/77daf1b85cf0 changeset 77daf1b85cf0 branch bookmark tag user ibm-PC\ibm <xingyuanzhang@126.com> description new change files test.txt
]]> ibm-PC\ibm <xingyuanzhang@126.com> Fri, 12 Sep 2014 00:47:15 +0800 good https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/452e8b557b63 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/452e8b557b63 changeset 452e8b557b63 branch bookmark tag user ibm-PC\ibm <xingyuanzhang@126.com> description good files test.txt
]]> ibm-PC\ibm <xingyuanzhang@126.com> Fri, 12 Sep 2014 00:41:17 +0800 merged https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/4d27b38de118 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/4d27b38de118 changeset 4d27b38de118 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description merged files ]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 30 May 2014 12:05:57 +0100 test if can write https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/57d89c29c812 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/57d89c29c812 changeset 57d89c29c812 branch bookmark tag user wuc description test if can write files test.txt
]]> wuc Tue, 20 May 2014 20:21:29 +0800 soem more work https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/e04123f4bacc https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/e04123f4bacc changeset e04123f4bacc branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description soem more work files thys/FMap.thy
thys/Hoare_tm3.thy
thys/Recs.thy
thys/UF_Rec.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 30 May 2014 12:04:49 +0100 added FMap theory and adapted tm-theory https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/087d82632852 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/087d82632852 changeset 087d82632852 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added FMap theory and adapted tm-theory files thys/FMap.thy
thys/Hoare_tm2.thy
thys/Hoare_tm3.thy
thys/UF_Rec.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Tue, 29 Apr 2014 15:26:48 +0100 deleted AList theory, which is not necessary https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/d826899bc424 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/d826899bc424 changeset d826899bc424 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description deleted AList theory, which is not necessary files ASK
ROOT
thys/AList.thy
thys/TM_Assemble.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 04 Apr 2014 13:15:07 +0100 added a version using finfuns https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/86918b45b2e6 https://cflmark.nms.kcl.ac.uk/hg/tm2/rev/86918b45b2e6 changeset 86918b45b2e6 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added a version using finfuns files thys/Hoare_abc2.thy
thys/Hoare_tm2.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 03 Apr 2014 15:28:01 +0100