src/HOL/MicroJava/BV/Convert.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-01-12 nipkow 2000-01-12 Move some lemmas to List.
1999-11-19 oheimb 1999-11-19 re-shaped and re-ordered conversion relations
1999-11-11 nipkow 1999-11-11 *** empty log message ***