src/HOL/Library/Kleene_Algebra.thy
2012-10-19 webertj 2012-10-19 Renamed {left,right}_distrib to distrib_{right,left}.
2011-09-14 hoelzl 2011-09-14 renamed Complete_Lattices lemmas, removed legacy names
2011-09-13 noschinl 2011-09-13 tune simpset for Complete_Lattices
2010-09-28 krauss 2010-09-28 dropped obsolete mk_tcl
2010-05-28 webertj 2010-05-28 Got rid of a warning about duplicate rewrite rules.
2010-05-23 krauss 2010-05-23 used sledgehammer[isar_proof] to replace slow metis call
2010-05-23 webertj 2010-05-23 Minor proof tuning.
2010-05-23 webertj 2010-05-23 Improved document structure.
2010-05-23 webertj 2010-05-23 Minor proof tuning.
2010-05-23 webertj 2010-05-23 Refactoring, minor extensions (e.g., church_rosser).
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2009-07-27 krauss 2009-07-27 added proof of Kleene_Algebra.star_decomp
2009-07-10 krauss 2009-07-10 move Kleene_Algebra to Library