src/HOL/MicroJava/J/Example.thy
Wed, 06 Dec 2000 19:10:36 +0100 oheimb improved superclass entry for classes and definition status of is_class, class
Tue, 17 Oct 2000 08:41:42 +0200 oheimb cosmetics
Thu, 21 Sep 2000 10:42:49 +0200 kleing unsymbolized
Fri, 01 Sep 2000 19:40:57 +0200 wenzelm isatool nonascii;
less more (0) -4 tip