src/Pure/CPure.thy
author haftmann
Fri Oct 21 14:49:49 2005 +0200 (2005-10-21 ago)
changeset 17952 00eccd84608f
parent 15804 3a55e6e26c8a
child 18019 d1ff9ebb8bcb
permissions -rw-r--r--
abandoned rational number functions in favor of General/rat.ML
     1 (*  Title:      Pure/CPure.thy
     2     ID:         $Id$
     3     Author:     Makarius
     4 
     5 The CPure theory -- Pure with alternative application syntax.
     6 *)
     7 
     8 theory CPure
     9 imports Pure
    10 begin
    11 
    12 setup
    13 "[Theory.del_modesyntax Syntax.default_mode Syntax.pure_appl_syntax,
    14   Theory.add_syntax Syntax.pure_applC_syntax]"
    15 
    16 end