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