# HG changeset patch
# User wenzelm
# Date 1138559022 -3600
# Node ID 8e080d0252c5ab1718fcda43608a493b890cf592
# Parent  7e94af77cfcee078e82d8a6e22e498e8dccce17f
implicit setup;

diff -r 7e94af77cfce -r 8e080d0252c5 src/Pure/CPure.thy
--- a/src/Pure/CPure.thy	Sun Jan 29 19:23:41 2006 +0100
+++ b/src/Pure/CPure.thy	Sun Jan 29 19:23:42 2006 +0100
@@ -8,9 +8,8 @@
 imports Pure
 begin
 
-setup {*
-  Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
-  Theory.add_syntax Syntax.applC_syntax
-*}
+subsection {* Specific modifications, see ROOT.ML *}
+
+setup
 
 end