src/HOL/MicroJava/Comp/CorrComp.thy
Tue, 14 Mar 2023 18:19:10 +0100 nipkow Adjusted to new map update priorities
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Fri, 21 Apr 2017 16:48:58 +0200 wenzelm tuned imports;
Thu, 28 May 2015 17:25:57 +1000 kleing modernized (slightly) type compiler in MicroJava
Mon, 29 Dec 2014 21:02:49 +0100 wenzelm tuned;
Tue, 09 Sep 2014 20:51:36 +0200 blanchet ported MicroJava to new datatypes
Fri, 04 Jul 2014 20:18:47 +0200 haftmann reduced name variants for assoc and commute on plus and mult
less more (0) -30 -10 -7 tip