src/HOL/IMP/Abs_Int_Den/Abs_Int_den0_fun.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-02-19 haftmann 2014-02-19 offical tool
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2012-07-24 wenzelm 2012-07-24 modernized imports;
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2011-10-20 nipkow 2011-10-20 renamed name -> vname
2011-09-28 nipkow 2011-09-28 Added Hoare-like Abstract Interpretation