DEEPEN: Use priority message channel for interim messages (not warnings).
(* Title: Pure/CPure.thy ID: $Id$The CPure theory -- Pure with alternative application syntax.*)theory CPureimports Purebeginsetup -- {* Some syntax modifications, see ROOT.ML *}end