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 -1 +1 +10 +30 +100 tip