src/HOL/IMP/Abs_Int0.thy
2011-10-12 nipkow 2011-10-12 separated monotonicity reasoning and defined narrowing with while_option
2011-09-28 nipkow 2011-09-28 Added Hoare-like Abstract Interpretation