Isabelle2014
600fb0bf56a2 · tuned layout; define shows_prec for rat without detour via show_rat · Aug 14, 2014