Thu, 28 Jan 2016 15:36:48 +0800 zhangx Tracking ExtGG.thy etc., so that a update to 83 is possible.
Thu, 28 Jan 2016 07:46:05 +0800 zhangx Added PrioG.thy again
Thu, 28 Jan 2016 07:43:05 +0800 zhangx Added PrioG.thy as a parallel copy of Correctness.thy
Wed, 27 Jan 2016 23:34:23 +0800 zhangx The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in
(0) -30 -10 -4 +4 +10 +30 +100 tip