https://cflmark.nms.kcl.ac.uk/hg/rc/ en-us rc Changelog rc Changelog [default] updated for Isabelle 2014 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/17ea9ad46257 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/17ea9ad46257 changeset 17ea9ad46257 branch default bookmark tag tip user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated for Isabelle 2014 files Paper.thy
del_vs_del_s.thy
document/isabelle.sty
document/isabellesym.sty
os_rc.thy
slides1.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 25 Dec 2014 15:54:08 +0000 updated slides https://cflmark.nms.kcl.ac.uk/hg/rc/rev/928c015eb03e https://cflmark.nms.kcl.ac.uk/hg/rc/rev/928c015eb03e changeset 928c015eb03e branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated slides files Slides/Slides1.thy
Slides/document/root.tex
slides1.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Sat, 14 Dec 2013 13:07:41 +1100 added https://cflmark.nms.kcl.ac.uk/hg/rc/rev/c3517b281164 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/c3517b281164 changeset c3517b281164 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added files Slides/Slides1.thy
slides1.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 13 Dec 2013 11:05:50 +1100 added CPP slides https://cflmark.nms.kcl.ac.uk/hg/rc/rev/cfd4b8219c87 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/cfd4b8219c87 changeset cfd4b8219c87 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added CPP slides files ROOT
Slides/Slides1.thy
Slides/document/beamerthemeplaincu.sty
Slides/document/build
Slides/document/chunhan.jpg
Slides/document/mathpartir.sty
Slides/document/root.tex
Slides/document/xingyuan.jpg
slides1.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 13 Dec 2013 10:37:25 +1100 final version https://cflmark.nms.kcl.ac.uk/hg/rc/rev/a87e2181d6b6 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/a87e2181d6b6 changeset a87e2181d6b6 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description final version files Paper.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 20 Sep 2013 12:22:04 +0100 more related work https://cflmark.nms.kcl.ac.uk/hg/rc/rev/a5f4dc4bbc5d https://cflmark.nms.kcl.ac.uk/hg/rc/rev/a5f4dc4bbc5d changeset a5f4dc4bbc5d branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description more related work files Paper.thy
document/root.bib
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 20 Sep 2013 12:14:39 +0100 some small changes according to the reviews https://cflmark.nms.kcl.ac.uk/hg/rc/rev/baa2970a9687 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/baa2970a9687 changeset baa2970a9687 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description some small changes according to the reviews files CPP-reviews
Paper.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 06 Sep 2013 14:55:53 +0100 added reviews from CPP https://cflmark.nms.kcl.ac.uk/hg/rc/rev/d43f46423298 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/d43f46423298 changeset d43f46423298 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added reviews from CPP files CPP-reviews
Paper.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 06 Sep 2013 13:27:46 +0100 updated to new isabelle https://cflmark.nms.kcl.ac.uk/hg/rc/rev/dd1499f296ea https://cflmark.nms.kcl.ac.uk/hg/rc/rev/dd1499f296ea changeset dd1499f296ea branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated to new isabelle files List_Prefix.thy
Paper.thy
document/isabelle.sty
document/isabellesym.sty
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 06 Sep 2013 12:55:12 +0100 added reviews from ESORICS https://cflmark.nms.kcl.ac.uk/hg/rc/rev/fb962189e921 https://cflmark.nms.kcl.ac.uk/hg/rc/rev/fb962189e921 changeset fb962189e921 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added reviews from ESORICS files ESORICS-Reviews
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Sun, 23 Jun 2013 03:55:49 +0100