src/HOL/MicroJava/BV/SemilatAlg.thy
2007-06-21 wenzelm 2007-06-21 tuned proofs -- avoid implicit prems;
2007-06-06 nipkow 2007-06-06 changed filter syntax from : to <-
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-04-04 kleing 2002-04-04 tuned
2002-04-02 nipkow 2002-04-02 Started to convert to locales
2002-03-26 kleing 2002-03-26 lub property of ++_f
2002-03-24 kleing 2002-03-24 cleanup + simpler monotonicity
2002-03-20 kleing 2002-03-20 small refactoring for lbv with semilattices