prio/ExtGG.thy
2012-02-12 zhang Correct a mistake.
2012-02-12 zhang runing_inversion_3 added.
less more (0) -2 tip