src/Tools/Code/code_printer.ML

   val doublesemicolon: Pretty.T list -> Pretty.T
   val indent: int -> Pretty.T -> Pretty.T
   val markup_stmt: Code_Symbol.T -> Pretty.T -> Pretty.T
   val format: Code_Symbol.T list -> int -> Pretty.T -> string
 
-  val first_upper: string -> string
-  val first_lower: string -> string
   type var_ctxt
   val make_vars: string list -> var_ctxt
   val intro_vars: string list -> var_ctxt -> var_ctxt
   val lookup_var: var_ctxt -> string -> string
   val intro_base_names: (string -> bool) -> (string -> string)

 fun lookup_var (namemap, _) name =
   case Symtab.lookup namemap name of
     SOME name' => name'
   | NONE => error ("Invalid name in context: " ^ quote name);
 
-val first_upper = implode o nth_map 0 Symbol.to_ascii_upper o raw_explode;
-val first_lower = implode o nth_map 0 Symbol.to_ascii_lower o raw_explode;
-
 fun aux_params vars lhss =
   let
     fun fish_param _ (w as SOME _) = w
       | fish_param (IVar (SOME v)) NONE = SOME v
       | fish_param _ NONE = NONE;