# HG changeset patch
# User wenzelm
# Date 1187021419 -7200
# Node ID e52ef498c0ba4d3630e5fa1ee7438cb0141471f5
# Parent  424cb8b5e5b43b4977d3666fb90bdad614dd9d34
moved appl syntax to PureThy;

diff -r 424cb8b5e5b4 -r e52ef498c0ba src/Pure/pure_setup.ML
--- a/src/Pure/pure_setup.ML	Mon Aug 13 18:10:18 2007 +0200
+++ b/src/Pure/pure_setup.ML	Mon Aug 13 18:10:19 2007 +0200
@@ -20,8 +20,8 @@
 structure Pure = struct val thy = theory "Pure" end;
 
 Context.add_setup
- (Sign.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
-  Sign.add_syntax Syntax.applC_syntax);
+ (Sign.del_modesyntax_i Syntax.default_mode PureThy.appl_syntax #>
+  Sign.add_syntax_i PureThy.applC_syntax);
 use_thy "CPure";
 structure CPure = struct val thy = theory "CPure" end;