src/HOL/Library/Library.thy
author nipkow
Mon Aug 16 14:22:27 2004 +0200 (2004-08-16)
changeset 15131 c69542757a4d
parent 14706 71590b7733b7
child 15140 322485b816ac
permissions -rw-r--r--
New theory header syntax.
     1 (*<*)
     2 theory Library
     3 import
     4   Accessible_Part
     5   Continuity
     6   FuncSet
     7   List_Prefix
     8   Multiset
     9   NatPair
    10   Nat_Infinity
    11   Nested_Environment
    12   Permutation
    13   Primes
    14   Quotient
    15   While_Combinator
    16   Word
    17   Zorn
    18 begin
    19 end
    20 (*>*)