src/HOL/Library/Library.thy

tuned document;

(*<*)
theory Library =
  Accessible_Part +
  Continuity +
  FuncSet +
  List_Prefix +
  Multiset +
  NatPair +
  Nat_Infinity +
  Nested_Environment +
  Permutation +
  Primes +
  Quotient +
  While_Combinator +
  Word +
  Zorn:
end
(*>*)