| Thu, 28 Jan 2016 15:36:48 +0800 | zhangx | Tracking ExtGG.thy etc., so that a update to 83 is possible. | file | diff | annotate |
| Thu, 28 Jan 2016 07:43:05 +0800 | zhangx | Added PrioG.thy as a parallel copy of Correctness.thy | file | diff | annotate |
| Wed, 06 Jan 2016 20:46:14 +0800 | zhangx | ExtGG.thy finished, but more comments are needed. | file | diff | annotate |
| Tue, 22 Dec 2015 23:13:31 +0800 | zhangx | In the middle of retrofiting ExtGG.thy. | file | diff | annotate |
| Thu, 22 May 2014 17:40:39 +0100 | Christian Urban |
added a bit more text to the paper and separated a theory about Max | file | diff | annotate |
| Tue, 06 May 2014 14:36:40 +0100 | Christian Urban |
made some modifications. | file | diff | annotate |
| Thu, 06 Dec 2012 15:11:21 +0000 | Christian Urban |
added | file | diff | annotate |