src/HOL/MicroJava/BV/Typing_Framework_err.thy
2004-12-22 nipkow 2004-12-22 [ .. (] -> [ ..< ]
2002-06-19 kleing 2002-06-19 LBV instantiantion refactored, streamlined
2002-03-24 kleing 2002-03-24 tuned
2002-03-24 kleing 2002-03-24 cleanup + simpler monotonicity
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-05-16 nipkow 2001-05-16 welltyping -> wt_step
2001-03-28 nipkow 2001-03-28 Got rid of is_dfa