src/HOL/IMP/ACom.thy
Mon, 09 Jan 2012 11:41:38 +0100 nipkow added lemmas
Mon, 02 Jan 2012 10:51:28 +0100 nipkow tuned proofs
Mon, 05 Dec 2011 07:31:00 +0100 nipkow enforce parantheses around SKIP {_}
Sun, 04 Dec 2011 18:29:16 +0100 nipkow improved var names
Thu, 24 Nov 2011 19:58:37 +0100 nipkow Abstract interpretation is now based uniformly on annotated programs,
less more (0) tip