src/HOL/MicroJava/J/Decl.thy
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
Wed, 03 Mar 2010 00:33:02 +0100 wenzelm cleanup type translations;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Tue, 03 Jan 2006 11:32:55 +0100 haftmann class now an keyword, quoted where necessary
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 25 Jul 2003 17:21:22 +0200 nipkow Replaced \<leadsto> by \<rightharpoonup>
Tue, 26 Feb 2002 15:45:32 +0100 kleing introduces SystemClasses and BVExample
less more (0) -10 -7 tip