# HG changeset patch
# User wenzelm
# Date 1137702134 -3600
# Node ID f174ebc26073fe90e44070882e0da9882c6a95e3
# Parent  4b3dadb4fe33d2c8361a5e62d1d4a861db7eeb6e
setup: theory -> theory;
Syntax.appl(C)_syntax;

diff -r 4b3dadb4fe33 -r f174ebc26073 src/Pure/CPure.thy
--- 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