lib/Tools/update_sub_sup
Fri, 12 Jul 2013 14:54:17 +0200 wenzelm added "isabelle update_sub_sup" tool;
less more (0) tip