src/HOL/Library/Library.thy

reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp

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