setup: theory -> theory;
authorwenzelm
Thu Jan 19 21:22:14 2006 +0100 (2006-01-19 ago)
changeset 18709f174ebc26073
parent 18708 4b3dadb4fe33
child 18710 527aa560a9e0
setup: theory -> theory;
Syntax.appl(C)_syntax;
src/Pure/CPure.thy
     1.1 --- a/src/Pure/CPure.thy	Thu Jan 19 21:22:08 2006 +0100
     1.2 +++ b/src/Pure/CPure.thy	Thu Jan 19 21:22:14 2006 +0100
     1.3 @@ -8,8 +8,9 @@
     1.4  imports Pure
     1.5  begin
     1.6  
     1.7 -setup
     1.8 -"[Theory.del_modesyntax Syntax.default_mode Syntax.pure_appl_syntax,
     1.9 -  Theory.add_syntax Syntax.pure_applC_syntax]"
    1.10 +setup {*
    1.11 +  Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
    1.12 +  Theory.add_syntax Syntax.applC_syntax
    1.13 +*}
    1.14  
    1.15  end