Attic/ExtGG_1.thy
2012-12-06 Christian Urban added
less more (0) tip