src/Pure/CPure.thy

tyabbr/syntax/consts: replaced obsolete read_typ by Syntax.parse_typ/certify_typ;

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

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

theory CPure
imports Pure
begin

setup  -- {* Some syntax modifications, see ROOT.ML *}

end