Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/term.ML
changeset 52920 4539e4a06339
parent 52616 3ac2878764f9
child 53016 fa9c38891cf2 
--- a/src/Pure/term.ML	Thu Aug 08 17:24:31 2013 +0200
+++ b/src/Pure/term.ML	Thu Aug 08 17:36:14 2013 +0200
@@ -980,8 +980,6 @@
       (case rev (Symbol.explode x) of
         _ :: "\\<^sub>" :: _ => false
       | _ :: "\\<^isub>" :: _ => false
-      | _ :: "\\<^sup>" :: _ => false
-      | _ :: "\\<^isup>" :: _ => false
       | c :: _ => Symbol.is_digit c
       | _ => true);
   in
isabelle