--- a/CookBook/Base.thy	Tue Dec 16 08:08:44 2008 +0000
+++ b/CookBook/Base.thy	Tue Dec 16 17:37:39 2008 +0100
@@ -1,8 +1,8 @@
 theory Base
 imports Main
 uses
+  "chunks.ML"
   "antiquote_setup.ML"
-  "chunks.ML"
 begin
 
 end