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
Wed, 27 Jan 2016 13:50:02 +0000 Christian Urban merged
(0) -30 -10 -2 +2 +10 +30 +100 tip