setup: theory -> theory;
Syntax.appl(C)_syntax;

--- a/src/Pure/CPure.thy	Thu Jan 19 21:22:08 2006 +0100
+++ b/src/Pure/CPure.thy	Thu Jan 19 21:22:14 2006 +0100
@@ -8,8 +8,9 @@
 imports Pure
 begin
 
-setup
-"[Theory.del_modesyntax Syntax.default_mode Syntax.pure_appl_syntax,
-  Theory.add_syntax Syntax.pure_applC_syntax]"
+setup {*
+  Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
+  Theory.add_syntax Syntax.applC_syntax
+*}
 
 end