src/HOL/IMP/Def_Ass_Sound_Big.thy
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-06-06 kleing 2011-06-06 imported rest of new IMP