src/HOL/MicroJava/JVM/JVMDefensive.thy
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-02-18 kleing 2003-02-18 check maxs in defensive machine
2002-10-24 kleing 2002-10-24 cleanup, beautified
2002-10-08 kleing 2002-10-08 defensive machine without obj init and jsr