src/HOL/IMP/Abs_Int0_const.thy
2011-09-28 nipkow 2011-09-28 Added Hoare-like Abstract Interpretation