src/HOL/Complex_Main.thy

--- a/src/HOL/Complex_Main.thy	Fri May 15 16:39:15 2009 +0200
+++ b/src/HOL/Complex_Main.thy	Fri May 15 16:39:16 2009 +0200
@@ -9,6 +9,7 @@
   Ln
   Taylor
   Integration
+  "Library/Quickcheck"
 begin
 
 end