src/HOL/MicroJava/JVM/Method.thy
Mon, 06 Dec 1999 14:23:45 +0100 nipkow Renamed some vars
Wed, 01 Dec 1999 18:22:28 +0100 nipkow Fixed a problem with returning from the last frame.
Mon, 29 Nov 1999 14:12:53 +0100 nipkow Removed !!
less more (0) -3 tip