src/HOL/Library/Library.thy

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