# HG changeset patch
# User wenzelm
# Date 1138559024 -3600
# Node ID 577438cc653e971842fb34571723e0124ea3cbad
# Parent  3a1e4ee72075c04c472a35aba884c9507bd3e797
CPure: Context.add_setup;

diff -r 3a1e4ee72075 -r 577438cc653e src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Jan 29 19:23:43 2006 +0100
+++ b/src/Pure/ROOT.ML	Sun Jan 29 19:23:44 2006 +0100
@@ -90,6 +90,10 @@
 setmp proofs 1 use "proof_general.ML";
 
 use_thy "Pure"; structure Pure = struct val thy = theory "Pure" end;
+
+Context.add_setup
+ (Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
+  Theory.add_syntax Syntax.applC_syntax);
 use_thy "CPure"; structure CPure = struct val thy = theory "CPure" end;
 
 (*final ML setup*)