src/HOL/IMP/Abs_Int1_ivl.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 nice interval syntax
2011-09-28 nipkow 2011-09-28 Added Hoare-like Abstract Interpretation