src/HOL/IMP/Procs_Stat_Vars_Dyn.thy
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2013-02-04 nipkow 2013-02-04 tuned
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2011-10-20 nipkow 2011-10-20 renamed name -> vname
2011-09-14 nipkow 2011-09-14 cleand up AbsInt fixpoint iteration; tuned syntax
2011-08-13 kleing 2011-08-13 IMP/Util distinguishes between sets and functions again; imported only where used.
2011-06-06 kleing 2011-06-06 imported rest of new IMP