src/HOL/Library/Library.thy
author wenzelm
Wed Dec 06 20:45:36 2000 +0100 (2000-12-06)
changeset 10616 ad39ca9477d5
parent 10481 9efb2fd5399e
child 10618 5b96bc5fbec3
permissions -rw-r--r--
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 (*>*)