src/HOL/Library/Library.thy
changeset 33084 cd1579e0997a
parent 32479 521cc9bf2958
child 33176 d6936fd7cda8
     1.1 --- a/src/HOL/Library/Library.thy	Fri Oct 23 10:11:56 2009 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Oct 23 17:12:36 2009 +0200
     1.3 @@ -52,6 +52,7 @@
     1.4    Ramsey
     1.5    Reflection
     1.6    RBT
     1.7 +  SML_Quickcheck
     1.8    State_Monad
     1.9    Sum_Of_Squares
    1.10    Topology_Euclidean_Space