src/HOL/MicroJava/BV/EffectMono.thy
2007-06-21 wenzelm 2007-06-21 tuned proofs -- avoid implicit prems;
2007-02-07 berghofe 2007-02-07 Adapted to new inductive definition package.
2005-09-22 nipkow 2005-09-22 renamed rules to iprover
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2002-11-16 kleing 2002-11-16 beautified "match"
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-03-03 kleing 2002-03-03 symbolized
2002-02-26 kleing 2002-02-26 introduces SystemClasses and BVExample
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exceptions