src/Pure/Syntax/syn_ext.ML

--- a/src/Pure/Syntax/syn_ext.ML	Mon Jul 03 13:37:29 1995 +0200
+++ b/src/Pure/Syntax/syn_ext.ML	Mon Jul 03 15:39:53 1995 +0200
@@ -18,6 +18,7 @@
   local open Ast in
     val logic: string
     val args: string
+    val cargs: string
     val any: string
     val sprop: string
     val typ_to_nonterm: typ -> string
@@ -77,6 +78,7 @@
 val logicT = Type (logic, []);
 
 val args = "args";
+val cargs = "cargs";
 
 val typeT = Type ("type", []);