src/HOL/MicroJava/BV/Correct.thy
2000-09-12 wenzelm 2000-09-12 renamed atts: rulify to rule_format, elimify to elim_format;
2000-09-07 wenzelm 2000-09-07 updated attribute names;
2000-08-30 kleing 2000-08-30 functional LBV style, dead code, type safety -> Isar
2000-08-07 kleing 2000-08-07 BV and LBV specified in terms of app and step functions
2000-07-17 kleing 2000-07-17 flat instruction set
2000-01-12 nipkow 2000-01-12 Move some lemmas to List.
1999-12-02 nipkow 1999-12-02 cosmetic mod.
1999-12-01 nipkow 1999-12-01 Fixed a problem with returning from the last frame.
1999-11-26 nipkow 1999-11-26 Various little changes like cmethd -> method and cfield -> field.
1999-11-25 nipkow 1999-11-25 Minor mods.
1999-11-11 nipkow 1999-11-11 *** empty log message ***