src/HOL/IMP/ACom.thy
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