diff -r 9d5d2f9d7c09 -r e2f9f94b26d4 CookBook/Solutions.thy
--- a/CookBook/Solutions.thy	Fri Oct 10 17:04:05 2008 +0200
+++ b/CookBook/Solutions.thy	Fri Oct 10 17:06:26 2008 +0200
@@ -1,7 +1,5 @@
 theory Solutions
-imports Main
-uses "antiquote_setup.ML"
-     "antiquote_setup_plus.ML"
+imports Base
 begin
 
 chapter {* Solutions to Most Exercises *}