(*  Title:      Pure/CPure.thy
    ID:         $Id: CPure.thy,v 1.1 2005/04/21 20:06:18 wenzelm Exp $
    Author:     Makarius

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

theory CPure
imports Pure
begin

setup
"[Theory.del_modesyntax Syntax.default_mode Syntax.pure_appl_syntax,
  Theory.add_syntax Syntax.pure_applC_syntax]"

end