src/HOL/Tools/ATP/atp_util.ML
changeset 66020 a31760eee09d
parent 61770 a20048c78891
child 67522 9e712280cc37
     1.1 --- a/src/HOL/Tools/ATP/atp_util.ML	Mon Jun 05 23:55:58 2017 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_util.ML	Tue Jun 06 13:13:25 2017 +0200
     1.3 @@ -126,7 +126,7 @@
     1.4  
     1.5  val subscript = implode o map (prefix "\<^sub>") o raw_explode  (* FIXME Symbol.explode (?) *)
     1.6  fun nat_subscript n =
     1.7 -  n |> string_of_int |> print_mode_active Symbol.xsymbolsN ? subscript
     1.8 +  n |> string_of_int |> not (print_mode_active Print_Mode.ASCII) ? subscript
     1.9  
    1.10  val unquote_tvar = perhaps (try (unprefix "'"))
    1.11  val unquery_var = perhaps (try (unprefix "?"))