src/HOL/MicroJava/J/Decl.thy
Tue, 26 Feb 2002 15:45:32 +0100 kleing introduces SystemClasses and BVExample
Thu, 21 Feb 2002 09:54:08 +0100 kleing new document
Sun, 16 Dec 2001 00:18:17 +0100 kleing exception merge, cleanup, tuned
Tue, 12 Jun 2001 14:11:00 +0200 oheimb corrected xsymbol/HTML syntax
Mon, 05 Feb 2001 20:14:15 +0100 oheimb improved document (added headers etc)
Thu, 01 Feb 2001 20:53:13 +0100 oheimb converted to Isar, simplifying recursion on class hierarchy
Thu, 18 Jan 2001 17:38:56 +0100 oheimb is_class and class now as defs (rather than translations); corrected Digest.thy
less more (0) -7 tip