src/HOL/IMP/Comp_Rev.thy
2011-10-20 kleing 2011-10-20 removed [trans] concept from basic material
2011-10-19 nipkow 2011-10-19 renamed B to Bc
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-08 kleing 2011-08-08 import constant folding theory into IMP
2011-08-01 kleing 2011-08-01 more consistent naming in IMP/Comp_Rev
2011-07-28 kleing 2011-07-28 compiler proof cleanup
2011-07-28 kleing 2011-07-28 resolved code_pred FIXME in IMP; clearer notation for exec_n
2011-06-17 kleing 2011-06-17 IMP compiler with int, added reverse soundness direction