More_Regular_Set.thy
changeset 188 7483efa77ee8
parent 180 b755090d0f3d