src/HOL/Library/Library.thy
author wenzelm
Wed Dec 06 21:52:49 2000 +0100 (2000-12-06)
changeset 10619 0cf191f57a54
parent 10618 5b96bc5fbec3
child 10943 3a610d34eb9e
permissions -rw-r--r--
activate Rational_Numbers;
     1 (*<*)
     2 theory Library =
     3   Quotient +
     4   Ring_and_Field +
     5   Rational_Numbers +
     6   List_Prefix +
     7   Accessible_Part +
     8   Multiset +
     9   While_Combinator + While_Combinator_Example:
    10 end
    11 (*>*)