src/HOL/Library/Library.thy
changeset 31186 b458b4ac570f
parent 31117 527ba4a37843
child 31278 60a53b5af39c
     1.1 --- a/src/HOL/Library/Library.thy	Fri May 15 16:52:28 2009 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Sat May 16 20:16:49 2009 +0200
     1.3 @@ -9,7 +9,6 @@
     1.4    Boolean_Algebra
     1.5    Char_ord
     1.6    Code_Char_chr
     1.7 -  Code_Index
     1.8    Code_Integer
     1.9    Coinductive_List
    1.10    Commutative_Ring
    1.11 @@ -45,11 +44,9 @@
    1.12    Preorder
    1.13    Primes
    1.14    Product_Vector
    1.15 -  Quickcheck
    1.16    Quicksort
    1.17    Quotient
    1.18    Ramsey
    1.19 -  Random
    1.20    Reflection
    1.21    RBT
    1.22    State_Monad