(* Title: Pure/CPure.thy ID: $Id$ 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