2016-01-28 | zhangx | Merged back ExtGG.thy and PrioG.thy. | file | diff | annotate |
2016-01-28 | zhangx | Tracking ExtGG.thy etc., so that a update to 83 is possible. | file | diff | annotate |
2016-01-27 | zhangx | Added PrioG.thy as a parallel copy of Correctness.thy | file | diff | annotate |
2016-01-06 | zhangx | ExtGG.thy finished, but more comments are needed. | file | diff | annotate |
2015-12-22 | zhangx | In the middle of retrofiting ExtGG.thy. | file | diff | annotate |
2014-05-22 | Christian Urban |
added a bit more text to the paper and separated a theory about Max | file | diff | annotate |
2014-05-06 | Christian Urban |
made some modifications. | file | diff | annotate |
2012-12-06 | Christian Urban |
added | file | diff | annotate |