More_Regular_Set.thy
2011-07-26 urbanc more on the section about derivatives
less more (0) tip