src/HOL/IMP/Procs.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
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-06-06 kleing 2011-06-06 imported rest of new IMP