src/HOL/MicroJava/JVM/JVMExecInstr.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-10-24 kleing 2002-10-24 cleanup, beautified
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exception merge + cleanup
2001-01-16 kleing 2001-01-16 newref -> new_Addr
2001-01-14 kleing 2001-01-14 removed instructions Aconst_null+Bipush, introduced LitPush
2000-12-05 kleing 2000-12-05 jvm_progs now also store maximum op_stack depth
2000-09-22 kleing 2000-09-22 converted to Isar, tuned
2000-09-21 kleing 2000-09-21 tuned spacing for document generation
2000-09-21 kleing 2000-09-21 unsymbolized
2000-08-07 kleing 2000-08-07 Invoke instruction gets fully qualified method name (class+name+sig) as in Sun's JVM spec
2000-07-17 kleing 2000-07-17 flat instruction set