src/HOL/MicroJava/JVM/JVMState.thy
2005-04-27 paulson 2005-04-27 partial modernising of theory headers
2002-10-23 streckem 2002-10-23 *** empty log message ***
2002-03-21 kleing 2002-03-21 new_Addr defined in terms of J/State.new_Addr (for compiler)
2002-03-09 kleing 2002-03-09 canonical start state
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exception merge + cleanup
2001-02-22 kleing 2001-02-22 removed unused function
2001-01-16 kleing 2001-01-16 Store.thy is obsolete (newref isn't used any more)
2000-09-22 kleing 2000-09-22 converted to Isar, tuned
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 ***