src/Pure/CPure.thy
2005-04-21 wenzelm 2005-04-21 The CPure theory -- Pure with alternative application syntax.