src/HOL/MicroJava/Comp/TranslCompTp.thy
Thu, 23 Jul 2015 22:13:42 +0200 wenzelm more symbols by default, without xsymbols mode;
less more (0) -1 tip