src/HOL/MicroJava/BV/BVSpecTypeSafe.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-09-03 wenzelm 2000-09-03 tuned;
2000-08-30 kleing 2000-08-30 functional LBV style, dead code, type safety -> Isar
1999-11-11 nipkow 1999-11-11 *** empty log message ***