src/HOL/Library/Kleene_Algebra.thy
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