| 2016-10-07 | Christian Urban |
updated | file | diff | annotate |
| 2016-10-02 | Christian Urban |
updated | file | diff | annotate |
| 2016-08-24 | Christian Urban |
updated | file | diff | annotate |
| 2016-08-16 | Christian Urban |
updated tG definition | file | diff | annotate |
| 2016-06-17 | Christian Urban |
updated | file | diff | annotate |
| 2016-06-09 | Christian Urban |
updated | file | diff | annotate |
| 2016-06-07 | Christian Urban |
minor update | file | diff | annotate |
| 2016-06-02 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-21 | Christian Urban |
all updated to Isabelle 2016 | file | diff | annotate |
| 2016-02-12 | zhangx | PIPBasics.thy is tidied up now. | file | diff | annotate |
| 2016-02-04 | zhangx | Several redundant lemmas removed. | file | diff | annotate |
| 2016-02-04 | Christian Urban |
updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015 | file | diff | annotate |