src/HOL/MicroJava/J/Example.thy
Thu, 01 Feb 2001 20:53:13 +0100 oheimb converted to Isar, simplifying recursion on class hierarchy
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
less more (0) -3 tip