src/HOL/IMP/Fold.thy
2014-02-19 kleing 2014-02-19 moved advanced folding into separate exercise
2013-11-11 nipkow 2013-11-11 tuned
2013-08-01 kleing 2013-08-01 removed duplicate lemma
2013-05-20 nipkow 2013-05-20 defined lvars and rvars of commands separately.
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2013-03-28 kleing 2013-03-28 replace induction by hammer
2013-03-25 kleing 2013-03-25 simp_const -> afold; bfold -> fold'; bsimp_const -> bfold
2013-03-25 kleing 2013-03-25 removed obsolete uses of ext
2012-08-23 Gerwin Klein 2012-08-23 remove Hoare dependency from Fold.thy
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2011-10-20 nipkow 2011-10-20 renamed name -> vname
2011-10-19 nipkow 2011-10-19 renamed B to Bc
2011-10-13 wenzelm 2011-10-13 discontinued obsolete 'types' command;
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-09-09 nipkow 2011-09-09 tuned headers
2011-08-08 kleing 2011-08-08 import constant folding theory into IMP