src/Pure/Syntax/syn_ext.ML

   local open Ast in
     val logic: string
     val args: string
     val any: string
     val sprop: string
-    val applC: string
     val typ_to_nonterm: typ -> string
     datatype xsymb =
       Delim of string |
       Argument of string * int |
       Space of string |

 
 val logic = "logic";
 val logicT = Type (logic, []);
 
 val args = "args";
-val argsT = Type (args, []);
 
 val typeT = Type ("type", []);
 
 val sprop = "#prop";
 val spropT = Type (sprop, []);

 val anyT = Type (any, []);
 
 
 (* constants *)
 
-val applC = "_appl";
 val constrainC = "_constrain";
 
 
 
 (** datatype xprod **)