src/HOL/Library/Library.thy

deactivate Rational_Numbers (tmp!);

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