src/HOL/MicroJava/BV/Err.thy
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)