moved appl syntax to PureThy;

--- 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;