src/HOL/Library/Library.thy
author nipkow
Fri, 26 Jan 2001 15:50:52 +0100
changeset 10984 8f49dcbec859
parent 10947 1702ff26bbe1
child 11055 b84dd2c25a1c
permissions -rw-r--r--
Merged Example into While_Combi

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