src/Pure/CPure.thy
author wenzelm
Sat, 21 Jan 2006 23:02:14 +0100
changeset 18728 6790126ab5f6
parent 18709 f174ebc26073
child 18835 8e080d0252c5
permissions -rw-r--r--
simplified type attribute;

(*  Title:      Pure/CPure.thy
    ID:         $Id$

The CPure theory -- Pure with alternative application syntax.
*)

theory CPure
imports Pure
begin

setup {*
  Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
  Theory.add_syntax Syntax.applC_syntax
*}

end