src/HOL/Library/Library.thy
changeset 43958 bc5e767f0f46
parent 43919 a7e4fb1a0502
child 43976 af17d7934116
     1.1 --- a/src/HOL/Library/Library.thy	Mon Jul 25 10:42:32 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Jul 25 10:43:14 2011 +0200
     1.3 @@ -55,7 +55,6 @@
     1.4    Reflection
     1.5    RBT_Mapping
     1.6    Set_Algebras
     1.7 -  SML_Quickcheck
     1.8    State_Monad
     1.9    Sum_of_Squares
    1.10    Transitive_Closure_Table