src/HOL/Library/Library.thy
author berghofe
Wed Nov 24 10:30:19 2004 +0100 (2004-11-24)
changeset 15324 c27165172e30
parent 15140 322485b816ac
child 15470 7e12ad2f6672
permissions -rw-r--r--
Added EfficientNat
     1 (*<*)
     2 theory Library
     3 imports
     4   Accessible_Part
     5   Continuity
     6   EfficientNat
     7   FuncSet
     8   List_Prefix
     9   Multiset
    10   NatPair
    11   Nat_Infinity
    12   Nested_Environment
    13   Permutation
    14   Primes
    15   Quotient
    16   While_Combinator
    17   Word
    18   Zorn
    19 begin
    20 end
    21 (*>*)