moved Code_Index, Random and Quickcheck before Main
authorhaftmann
Tue May 19 13:57:51 2009 +0200 (2009-05-19)
changeset 3120446c0c741c8c2
parent 31203 5c8fb4fd67e0
child 31205 98370b26c2ce
moved Code_Index, Random and Quickcheck before Main
src/HOL/Complex_Main.thy
     1.1 --- a/src/HOL/Complex_Main.thy	Tue May 19 13:57:32 2009 +0200
     1.2 +++ b/src/HOL/Complex_Main.thy	Tue May 19 13:57:51 2009 +0200
     1.3 @@ -9,7 +9,6 @@
     1.4    Ln
     1.5    Taylor
     1.6    Integration
     1.7 -  Quickcheck
     1.8  begin
     1.9  
    1.10  end