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