src/HOL/IMP/Abs_Int0_parity.thy
Sun, 29 Jan 2012 15:16:27 +0100 nipkow removed accidental dependance of abstract interpreter on gamma
Fri, 27 Jan 2012 17:02:08 +0100 nipkow removed duplicate definitions that made locale inconsistent
Fri, 27 Jan 2012 14:30:44 +0100 nipkow added parity analysis
less more (0) tip