src/HOL/IMP/HoareT.thy
2011-09-29 Jean Pichon 2011-09-29 fixed typos in IMP
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-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