src/HOL/IMP/AExp.thy
2011-08-04 kleing 2011-08-04 new state syntax with less conflicts
2011-06-07 kleing 2011-06-07 use null_heap instead of %_. 0 to avoid printing problems
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