src/Pure/CPure.thy
author haftmann
Tue Sep 06 08:30:43 2005 +0200 (2005-09-06)
changeset 17271 2756a73f63a5
parent 15804 3a55e6e26c8a
child 18019 d1ff9ebb8bcb
permissions -rw-r--r--
introduced some new-style AList operations
wenzelm@15804
     1
(*  Title:      Pure/CPure.thy
wenzelm@15804
     2
    ID:         $Id$
wenzelm@15804
     3
    Author:     Makarius
wenzelm@15804
     4
wenzelm@15804
     5
The CPure theory -- Pure with alternative application syntax.
wenzelm@15804
     6
*)
wenzelm@15804
     7
wenzelm@15804
     8
theory CPure
wenzelm@15804
     9
imports Pure
wenzelm@15804
    10
begin
wenzelm@15804
    11
wenzelm@15804
    12
setup
wenzelm@15804
    13
"[Theory.del_modesyntax Syntax.default_mode Syntax.pure_appl_syntax,
wenzelm@15804
    14
  Theory.add_syntax Syntax.pure_applC_syntax]"
wenzelm@15804
    15
wenzelm@15804
    16
end