# HG changeset patch
# User wenzelm
# Date 1114113978 -7200
# Node ID 3a55e6e26c8ada334bcff6558cb2f0b92aa61ec5
# Parent  42c75e0c9140ac06ae1b4c774b30b0dcd1a0d175
The CPure theory -- Pure with alternative application syntax.

diff -r 42c75e0c9140 -r 3a55e6e26c8a src/Pure/CPure.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/CPure.thy	Thu Apr 21 22:06:18 2005 +0200
@@ -0,0 +1,16 @@
+(*  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