zhangx [Thu, 28 Jan 2016 21:14:17 +0800] rev 90
Retrofiting of:
CpsG.thy (the parallel copy of PIPBasics.thy),
ExtGG.thy (The paralell copy of Implemenation.thy),
PrioG.thy (The paralell copy of Correctness.thy)
has completed.
The next step is to overwite original copies with the paralell ones.
zhangx [Thu, 28 Jan 2016 16:36:46 +0800] rev 89
Slightly modified ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 16:33:49 +0800] rev 88
Merged back ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 15:36:48 +0800] rev 87
Tracking ExtGG.thy etc., so that a update to 83 is possible.
zhangx [Thu, 28 Jan 2016 07:46:05 +0800] rev 86
Added PrioG.thy again
zhangx [Thu, 28 Jan 2016 07:43:05 +0800] rev 85
Added PrioG.thy as a parallel copy of Correctness.thy