src/HOL/MicroJava/BV/Effect.thy
2006-01-04 nipkow 2006-01-04 Reversed Larry's option/iff change.
2005-12-21 paulson 2005-12-21 removed or modified some instances of [iff]
2005-08-17 nipkow 2005-08-17 small mods to code lemmas
2005-08-17 nipkow 2005-08-17 list_all_conv -> iff
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2002-11-16 kleing 2002-11-16 beautified "match"
2002-03-24 kleing 2002-03-24 cleanup + simpler monotonicity
2002-03-03 kleing 2002-03-03 symbolized
2002-02-28 kleing 2002-02-28 enforce positive branch targets
2002-02-26 kleing 2002-02-26 introduces SystemClasses and BVExample
2002-02-21 kleing 2002-02-21 new document
2002-01-15 kleing 2002-01-15 tuned for directly executable definitions
2001-12-16 kleing 2001-12-16 exceptions