Simplified GroupAction.thy
Again, corrections in GroupAction.thy