(*<*) theory Library import Accessible_Part Continuity FuncSet List_Prefix Multiset NatPair Nat_Infinity Nested_Environment Permutation Primes Quotient While_Combinator Word Zorn begin end (*>*)