lib/Tools/update_sub_sup
2013-08-08 wenzelm 2013-08-08 eliminate \<twosuperior> as well;
2013-07-12 wenzelm 2013-07-12 added "isabelle update_sub_sup" tool;