implicit setup;

--- a/src/Pure/CPure.thy	Sun Jan 29 19:23:41 2006 +0100
+++ b/src/Pure/CPure.thy	Sun Jan 29 19:23:42 2006 +0100
@@ -8,9 +8,8 @@
 imports Pure
 begin
 
-setup {*
-  Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
-  Theory.add_syntax Syntax.applC_syntax
-*}
+subsection {* Specific modifications, see ROOT.ML *}
+
+setup
 
 end