src/HOL/Library/Library.thy
author wenzelm
Thu May 06 14:14:18 2004 +0200 (2004-05-06)
changeset 14706 71590b7733b7
parent 14494 48ae8d678d88
child 15131 c69542757a4d
permissions -rw-r--r--
tuned document;
     1 (*<*)
     2 theory Library =
     3   Accessible_Part +
     4   Continuity +
     5   FuncSet +
     6   List_Prefix +
     7   Multiset +
     8   NatPair +
     9   Nat_Infinity +
    10   Nested_Environment +
    11   Permutation +
    12   Primes +
    13   Quotient +
    14   While_Combinator +
    15   Word +
    16   Zorn:
    17 end
    18 (*>*)