src/HOL/MicroJava/J/Example.thy
Tue, 02 Jan 2001 22:41:17 +0100 oheimb added type annotation to Call
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
less more (0) -3 tip