src/HOL/Library/Library.thy
author krauss
Mon Dec 04 15:15:59 2006 +0100 (2006-12-04)
changeset 21635 32f3e1127de2
parent 21256 47195501ecf7
child 22359 94a794672c8b
permissions -rw-r--r--
added Ramsey.thy to Library imports, to include it in the daily builds
     1 (* $Id$ *)
     2 (*<*)
     3 theory Library
     4 imports
     5   AssocList
     6   BigO
     7   Binomial
     8   Char_ord
     9   Coinductive_List
    10   Commutative_Ring
    11   Continuity
    12   EfficientNat
    13   ExecutableRat
    14   ExecutableSet
    15   FuncSet
    16   GCD
    17   Infinite_Set
    18   MLString
    19   Multiset
    20   NatPair
    21   Nat_Infinity
    22   Nested_Environment
    23   OptionalSugar
    24   Parity
    25   Permutation
    26   Primes
    27   Quotient
    28   Ramsey
    29   State_Monad
    30   While_Combinator
    31   Word
    32   Zorn
    33 begin
    34 end
    35 (*>*)