# HG changeset patch
# User haftmann
# Date 1242734271 -7200
# Node ID 46c0c741c8c2d61b243bb0380587b80534e0aa43
# Parent  5c8fb4fd67e0e903e6adb2e96b541551adbda08c
moved Code_Index, Random and Quickcheck before Main

diff -r 5c8fb4fd67e0 -r 46c0c741c8c2 src/HOL/Complex_Main.thy
--- a/src/HOL/Complex_Main.thy	Tue May 19 13:57:32 2009 +0200
+++ b/src/HOL/Complex_Main.thy	Tue May 19 13:57:51 2009 +0200
@@ -9,7 +9,6 @@
   Ln
   Taylor
   Integration
-  Quickcheck
 begin
 
 end