src/HOL/Library/Kleene_Algebras.thy
Mon, 26 Feb 2007 21:34:16 +0100 krauss Added formalization of size-change principle (experimental).
less more (0) tip