--- a/CookBook/FirstSteps.thy	Fri Oct 10 17:04:05 2008 +0200
+++ b/CookBook/FirstSteps.thy	Fri Oct 10 17:06:26 2008 +0200
@@ -1,7 +1,5 @@
 theory FirstSteps
-imports Main
-uses "antiquote_setup.ML"
-     "antiquote_setup_plus.ML"
+imports Base
 begin