src/HOL/MicroJava/Comp/CorrComp.thy
Fri, 20 Sep 2024 19:51:08 +0200 wenzelm standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
Tue, 14 Mar 2023 18:19:10 +0100 nipkow Adjusted to new map update priorities
less more (0) -30 -10 -2 tip