Correctness.thy
2017-02-20 Christian Urban updated
2017-02-06 Christian Urban updated
2016-12-09 Christian Urban updated
2016-10-21 Christian Urban updated
2016-10-07 Christian Urban updated
2016-10-02 Christian Urban updated
2016-08-24 Christian Urban updated
2016-08-16 Christian Urban updated tG definition
2016-06-17 Christian Urban updated
2016-06-09 Christian Urban updated
2016-06-07 Christian Urban minor update
2016-06-02 Christian Urban updated
2016-03-21 Christian Urban all updated to Isabelle 2016
2016-02-12 zhangx PIPBasics.thy is tidied up now.
2016-02-04 zhangx Several redundant lemmas removed.
2016-02-04 Christian Urban updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015
2016-02-03 Christian Urban updated files
2016-02-03 zhangx A fake merge. Used to revert to 98
2016-02-03 zhangx Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
2016-01-29 Christian Urban merged
2016-01-28 Christian Urban merged
2016-01-28 Christian Urban changes to my repository
2016-01-28 Christian Urban some small changes
2016-01-29 zhangx The overwriten original .thy files are working now. The ones in last revision aren't.
2016-01-29 zhangx Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).
2016-01-29 zhangx Removed *.*~, #***#, log, etc.
2016-01-27 Christian Urban some small changes to Correctness and Paper
2016-01-15 Christian Urban some small changes to the paper
2016-01-13 zhangx Moment.thy further improved.
2016-01-13 Christian Urban simplified Moment.thy
2016-01-12 zhangx Before retrofiting PIPBasics.thy
2016-01-09 zhangx Correctness simplified a great deal.
2016-01-07 zhangx Some small improvements in Correctness.thy.
2016-01-07 zhangx Reorganization completed, added "scripts_structure.pdf" and "scirpts_structure.pptx".
2016-01-06 Christian Urban renamed files
less more (0) tip