Mon, 27 Feb 2012 20:55:30 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
Tue, 02 Mar 2010 12:26:50 +0100 | krauss | killed more recdefs | file | diff | annotate |
Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
Tue, 24 Nov 2009 14:37:23 +0100 | haftmann | backported parts of abstract byte code verifier from AFP/Jinja | file | diff | annotate |
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 | file | diff | annotate |
Fri, 28 Aug 2009 20:18:33 +0200 | nipkow | tuned proofs | file | diff | annotate |