src/HOL/MicroJava/BV/Effect.thy
Mon, 27 Feb 2012 20:55:30 +0100 wenzelm tuned proofs;
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
Tue, 02 Mar 2010 12:26:50 +0100 krauss killed more recdefs
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Tue, 24 Nov 2009 14:37:23 +0100 haftmann backported parts of abstract byte code verifier from AFP/Jinja
Tue, 22 Sep 2009 15:36:55 +0200 haftmann be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
Fri, 28 Aug 2009 20:18:33 +0200 nipkow tuned proofs
less more (0) -10 -7 tip