src/HOL/Library/Library.thy
author wenzelm
Fri, 03 Nov 2000 21:35:59 +0100
changeset 10390 1d54567bed24
parent 10332 b4f7f8693f8e
child 10481 9efb2fd5399e
permissions -rw-r--r--
tuned;

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