src/HOL/Library/Kleene_Algebras.thy
2007-04-13 wenzelm 2007-04-13 tuned document (headers, sections, spacing);
2007-03-20 haftmann 2007-03-20 explizit "type" superclass
2007-03-16 haftmann 2007-03-16 added "class"es
2007-03-10 berghofe 2007-03-10 Adapted to changes in definition of SUP.
2007-02-28 krauss 2007-02-28 added headers
2007-02-26 krauss 2007-02-26 Added formalization of size-change principle (experimental).