
diff -r 817ecad4cf72 -r f65b9f14d5de ProgTutorial/Base.thy
--- a/ProgTutorial/Base.thy	Tue Jun 28 08:44:34 2011 +0100
+++ b/ProgTutorial/Base.thy	Tue Jun 28 09:22:00 2011 +0100
@@ -150,5 +150,7 @@
 use "output_tutorial.ML"
 use "antiquote_setup.ML"
 
+setup {* OutputTutorial.setup *}
+setup {* AntiquoteSetup.setup *}
 
 end
\ No newline at end of file




