src/HOL/MicroJava/BV/Kildall.thy
2004-01-27 paulson 2004-01-27 replacing HOL/Real/PRat, PNat by the rational number development of Markus Wenzel
2003-09-15 nipkow 2003-09-15 Mod due to new thm in Map.
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-04-02 nipkow 2002-04-02 Started to convert to locales
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-09-04 wenzelm 2001-09-04 renamed "antecedent" case to "rule_context";
2001-05-16 nipkow 2001-05-16 welltyping -> wt_step
2001-05-14 nipkow 2001-05-14 simplified defs and proofs a little
2001-03-28 nipkow 2001-03-28 Got rid of is_dfa
2001-02-27 nipkow 2001-02-27 kildall now via while and therefore executable!
2001-02-22 nipkow 2001-02-22 recoded function iter with the help of the while-combinator.
2001-01-03 wenzelm 2001-01-03 recdef_tc;
2000-12-13 kleing 2000-12-13 fixed iter_wf proof
2000-12-05 kleing 2000-12-05 BCV Integration
2000-11-20 kleing 2000-11-20 BCV integration (first step)