src/HOL/MicroJava/Comp/CorrCompTp.thy
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Sat, 02 Jan 2016 18:48:45 +0100 wenzelm isabelle update_cartouches -c -t;
Wed, 07 Oct 2015 23:28:49 +0200 wenzelm isabelle update_cartouches;
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;
Sun, 02 Nov 2014 17:58:35 +0100 wenzelm modernized header;
Tue, 09 Sep 2014 20:51:36 +0200 blanchet ported MicroJava to new datatypes
less more (0) -30 -10 -7 tip