(* Title: Pure/CPure.thy ID: $Id$ The CPure theory -- Pure with alternative application syntax. *) theory CPure imports Pure begin subsection {* Specific modifications, see ROOT.ML *} setup end