Attic/More_Regular_Set.thy
2011-08-22 urbanc changes according to afp-submission
less more (0) tip