
diff -r 05eb2d77b195 -r ae938ac9a721 src/Doc/Datatypes/Setup.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/Datatypes/Setup.thy	Thu Aug 01 14:22:10 2013 +0200
@@ -0,0 +1,9 @@
+theory Setup
+imports Main
+begin
+
+ML_file "../antiquote_setup.ML"
+
+setup Antiquote_Setup.setup
+
+end




