src/HOL/MicroJava/BV/Err.thy
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-07-15 ballarin 2008-07-15 Removed uses of context element includes.
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-12-08 wenzelm 2005-12-08 tuned proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-04-02 nipkow 2002-04-02 Started to convert to locales
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-09-04 wenzelm 2001-09-04 renamed "antecedent" case to "rule_context";
2001-03-26 nipkow 2001-03-26 simplified proofs
2001-02-09 kleing 2001-02-09 tuned for 99-2 release
2001-01-07 kleing 2001-01-07 merged semilattice orders with <=' from Convert.thy (now defined in JVMType.thy)
2000-11-20 kleing 2000-11-20 BCV integration (first step)