src/HOL/Complex_Main.thy
changeset 31179 ced817160283
parent 29986 6b1ccda8bf19
child 31186 b458b4ac570f
     1.1 --- a/src/HOL/Complex_Main.thy	Fri May 15 16:39:15 2009 +0200
     1.2 +++ b/src/HOL/Complex_Main.thy	Fri May 15 16:39:16 2009 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4    Ln
     1.5    Taylor
     1.6    Integration
     1.7 +  "Library/Quickcheck"
     1.8  begin
     1.9  
    1.10  end