src/HOL/MicroJava/JVM/JVMExecInstr.thy
Thu, 24 Oct 2002 12:07:31 +0200 kleing cleanup, beautified
less more (0) -1 tip