diff -r 9d5d2f9d7c09 -r e2f9f94b26d4 CookBook/FirstSteps.thy
--- 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