src/HOL/MicroJava/J/State.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
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;
Sun, 13 Sep 2015 22:56:52 +0200 wenzelm tuned proofs -- less legacy;
Sun, 02 Nov 2014 17:58:35 +0100 wenzelm modernized header;
Fri, 02 Aug 2013 12:17:55 +0200 wenzelm tuned proofs;
Sat, 07 Apr 2012 18:08:29 +0200 wenzelm tuned proofs;
Sun, 07 Aug 2011 18:38:36 +0200 wenzelm fixed document;
Fri, 05 Aug 2011 14:16:44 +0200 Andreas Lochbihler replace old SML code generator by new code generator in MicroJava/JVM and /BV
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Thu, 11 Feb 2010 00:45:02 +0100 wenzelm modernized translations;
Tue, 11 Aug 2009 10:46:11 +0200 haftmann dropped temporary adjustments to non-working eta expansion in recfun_codegen.ML
Tue, 11 Aug 2009 10:05:16 +0200 haftmann temporary adjustment to dubious state of eta expansion in recfun_codegen
less more (0) -16 tip