src/HOL/IMP/Fold.thy
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