--- 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