Thu, 28 Jan 2016 16:33:49 +0800 Merged back ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 16:33:49 +0800] rev 88
Merged back ExtGG.thy and PrioG.thy.
(0) -30 -10 -1 +1 +10 +30 +100 tip