src/HOL/MicroJava/JVM/JVMState.thy
2000-09-21 kleing 2000-09-21 unsymbolized
1999-11-26 nipkow 1999-11-26 Various little changes like cmethd -> method and cfield -> field.
1999-11-11 nipkow 1999-11-11 *** empty log message ***