(*<*) theory Library = Quotient + Nat_Infinity + List_Prefix + Nested_Environment + Accessible_Part + Continuity + Multiset + Permutation + NatPair + Primes + Word + While_Combinator: end (*>*)