src/HOL/IMP/Abs_Int0_fun.thy
2011-10-20 nipkow 2011-10-20 renamed name -> vname
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