src/HOL/MicroJava/BV/StepMono.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-20 wenzelm 2000-08-20 open cases;
2000-08-14 kleing 2000-08-14 Convert.thy now in Isar, tuned
2000-08-14 wenzelm 2000-08-14 fixed document preparation;
2000-08-11 kleing 2000-08-11 tuned
2000-08-09 kleing 2000-08-09 tuned