
diff -r 9d5d2f9d7c09 -r e2f9f94b26d4 CookBook/Recipes/NamedThms.thy
--- a/CookBook/Recipes/NamedThms.thy	Fri Oct 10 17:04:05 2008 +0200
+++ b/CookBook/Recipes/NamedThms.thy	Fri Oct 10 17:06:26 2008 +0200
@@ -1,8 +1,5 @@
-
 theory NamedThms
-imports Main
-uses "antiquote_setup.ML"
-     "antiquote_setup_plus.ML"
+imports Base
 begin
 
 section {* Accumulate a List of Theorems under a Name *} 




