src/HOL/MicroJava/BV/Typing_Framework_JVM.thy
2005-08-17 nipkow 2005-08-17 small mods to code lemmas
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
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