src/HOL/MicroJava/BV/Opt.thy
2009-03-04 nipkow 2009-03-04 Made Option a separate theory and renamed option_map to Option.map
2008-07-25 haftmann 2008-07-25 added explicit root theory; some tuning
2007-02-07 berghofe 2007-02-07 Adapted to new inductive definition package.
2007-01-16 haftmann 2007-01-16 renamed locale partial_order to order
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-03-20 kleing 2002-03-20 small refactoring for lbv with semilattices
2002-03-03 kleing 2002-03-03 symbolized
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exceptions
2001-02-09 kleing 2001-02-09 tuned for 99-2 release
2000-11-20 kleing 2000-11-20 BCV integration (first step)