src/HOL/IMP/Abs_Int0_const.thy
2011-10-19 nipkow 2011-10-19 renamed B to Bc
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