src/HOL/Library/Library.thy
author wenzelm
Wed Nov 08 23:11:13 2006 +0100 (2006-11-08)
changeset 21256 47195501ecf7
parent 21192 5fe5cd5fede7
child 21635 32f3e1127de2
permissions -rw-r--r--
moved theories Parity, GCD, Binomial to Library;
     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   State_Monad
    29   While_Combinator
    30   Word
    31   Zorn
    32 begin
    33 end
    34 (*>*)