| changeset 10454 | 9ef2f60ebde5 |
| parent 9372 | 7834e56e2277 |
| child 11528 | 8d0c65433048 |
--- a/src/Pure/Syntax/syntax.ML Sun Nov 12 14:35:41 2000 +0100 +++ b/src/Pure/Syntax/syntax.ML Sun Nov 12 14:36:10 2000 +0100 @@ -452,7 +452,6 @@ (** pretty terms, typs, sorts **) -val print_mode = print_mode; fun pretty_t t_to_ast prt_t (syn as Syntax tabs) curried t = let val {print_trtab, print_ruletab, print_ast_trtab, tokentrtab, prtabs, ...} = tabs;