src/HOL/Library/Library.thy
author wenzelm
Sat Jun 09 14:18:19 2001 +0200 (2001-06-09)
changeset 11368 9c1995c73383
parent 11349 fcb507c945c3
child 14127 40a4768c8e0b
permissions -rw-r--r--
tuned Primes theory;
     1 (*<*)
     2 theory Library =
     3   Quotient +
     4   Ring_and_Field + Ring_and_Field_Example +
     5   Nat_Infinity +
     6   Rational_Numbers +
     7   List_Prefix +
     8   Nested_Environment +
     9   Accessible_Part +
    10   Continuity +
    11   Multiset +
    12   Permutation +
    13   Primes +
    14   While_Combinator:
    15 end
    16 (*>*)