ProgTutorial/Base.thy
changeset 471 f65b9f14d5de
parent 462 1d1e795bc3ad
child 475 25371f74c768
--- 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