src/HOL/IMP/ASM.thy
2011-10-27 nipkow tuned text
2011-10-25 nipkow tuned text
2011-10-23 nipkow renamed in ASM
2011-10-21 nipkow tuned
2011-09-20 nipkow Updated IMP to use new induction method
2011-08-04 kleing new state syntax with less conflicts
2011-06-06 kleing imported rest of new IMP
2011-06-01 nipkow Replacing old IMP with new Semantics material
less more (0) tip