src/HOL/IMP/Sem_Equiv.thy
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 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-17 huffman 2011-08-17 HOL-IMP: respect set/pred distinction
2011-08-08 kleing 2011-08-08 import constant folding theory into IMP