Correctness.thy
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
less more (0) -12 tip