(*<*) theory Library = List_Prefix + Quotient + Ring_and_Field + Accessible_Part + Multiset + While_Combinator + While_Combinator_Example: end (*>*)