changeset 31186 | b458b4ac570f |
parent 31117 | 527ba4a37843 |
child 31278 | 60a53b5af39c |
--- a/src/HOL/Library/Library.thy Fri May 15 16:52:28 2009 +0200 +++ b/src/HOL/Library/Library.thy Sat May 16 20:16:49 2009 +0200 @@ -9,7 +9,6 @@ Boolean_Algebra Char_ord Code_Char_chr - Code_Index Code_Integer Coinductive_List Commutative_Ring @@ -45,11 +44,9 @@ Preorder Primes Product_Vector - Quickcheck Quicksort Quotient Ramsey - Random Reflection RBT State_Monad