src/HOL/IMP/ASM.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-11-04 nipkow 2012-11-04 executable true liveness analysis incl an approximating version
2012-09-07 nipkow 2012-09-07 tuned latex
2011-10-27 nipkow 2011-10-27 tuned text
2011-10-25 nipkow 2011-10-25 tuned text
2011-10-23 nipkow 2011-10-23 renamed in ASM
2011-10-21 nipkow 2011-10-21 tuned
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-08-04 kleing 2011-08-04 new state syntax with less conflicts
2011-06-06 kleing 2011-06-06 imported rest of new IMP
2011-06-01 nipkow 2011-06-01 Replacing old IMP with new Semantics material