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