--- a/src/Pure/Syntax/printer.ML Fri Apr 04 16:33:28 1997 +0200
+++ b/src/Pure/Syntax/printer.ML Fri Apr 04 19:07:54 1997 +0200
@@ -20,7 +20,6 @@
val term_to_ast: (string -> (typ -> term list -> term) option) -> term -> Ast.ast
val typ_to_ast: (string -> (typ -> term list -> term) option) -> typ -> Ast.ast
type prtabs
- val prmodes_of: prtabs -> string list
val empty_prtabs: prtabs
val extend_prtabs: prtabs -> string -> SynExt.xprod list -> prtabs
val merge_prtabs: prtabs -> prtabs -> prtabs
@@ -177,8 +176,6 @@
type prtabs = (string * ((symb list * int * int) list) Symtab.table) list;
-fun prmodes_of prtabs = filter_out (equal "") (map fst prtabs);
-
(*find tab for mode*)
fun get_tab prtabs mode =
if_none (assoc (prtabs, mode)) Symtab.null;