src/HOL/IMP/Big_Step.thy
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-09-14 nipkow 2011-09-14 cleand up AbsInt fixpoint iteration; tuned syntax
2011-08-08 kleing 2011-08-08 import constant folding theory into IMP
2011-08-04 kleing 2011-08-04 new state syntax with less conflicts
2011-06-06 kleing 2011-06-06 imported rest of new IMP
2011-06-01 nipkow 2011-06-01 Replacing old IMP with new Semantics material