Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/CPure.thy
author wenzelm
Thu, 19 Jan 2006 21:22:14 +0100
changeset 18709 f174ebc26073
parent 18019 d1ff9ebb8bcb
child 18835 8e080d0252c5
permissions -rw-r--r--
setup: theory -> theory; Syntax.appl(C)_syntax;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15804
3a55e6e26c8a The CPure theory -- Pure with alternative application syntax.
wenzelm
parents:
diff changeset 
     1
 
(*  Title:      Pure/CPure.thy
3a55e6e26c8a The CPure theory -- Pure with alternative application syntax.
wenzelm
parents:
diff changeset 
     2
 
    ID:         $Id$
3a55e6e26c8a The CPure theory -- Pure with alternative application syntax.
wenzelm
parents:
diff changeset 
     3
 












3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




     4


The CPure theory -- Pure with alternative application syntax.













3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




     5


*)













3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




     6














3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




     7


theory CPure













3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




     8


imports Pure













3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




     9


begin













3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




    10









18709






f174ebc26073
setup: theory -> theory;



wenzelm


parents: 
18019

diff
changeset




    11


setup {*













f174ebc26073
setup: theory -> theory;



wenzelm


parents: 
18019

diff
changeset




    12


  Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>













f174ebc26073
setup: theory -> theory;



wenzelm


parents: 
18019

diff
changeset




    13


  Theory.add_syntax Syntax.applC_syntax













f174ebc26073
setup: theory -> theory;



wenzelm


parents: 
18019

diff
changeset




    14


*}








15804






3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




    15














3a55e6e26c8a
The CPure theory -- Pure with alternative application syntax.



wenzelm


parents: 

diff
changeset




    16


end















isabelle