src/HOL/MicroJava/BV/LBVJVM.thy
2003-05-26 streckem 2003-05-26 Introduced distinction wf_prog vs. ws_prog
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-06-19 kleing 2002-06-19 LBV instantiantion refactored, streamlined
2002-06-15 kleing 2002-06-15 LBV instantiated for JVM