src/Pure/term.ML
changeset 52920 4539e4a06339
parent 52616 3ac2878764f9
child 53016 fa9c38891cf2
     1.1 --- a/src/Pure/term.ML	Thu Aug 08 17:24:31 2013 +0200
     1.2 +++ b/src/Pure/term.ML	Thu Aug 08 17:36:14 2013 +0200
     1.3 @@ -980,8 +980,6 @@
     1.4        (case rev (Symbol.explode x) of
     1.5          _ :: "\\<^sub>" :: _ => false
     1.6        | _ :: "\\<^isub>" :: _ => false
     1.7 -      | _ :: "\\<^sup>" :: _ => false
     1.8 -      | _ :: "\\<^isup>" :: _ => false
     1.9        | c :: _ => Symbol.is_digit c
    1.10        | _ => true);
    1.11    in