changeset 24242 | e52ef498c0ba |
parent 24174 | 59a5ffec7078 |
child 24960 | 39d1dd215d73 |
--- 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;