src/HOL/IMP/Compiler2.thy
2016-02-23 nipkow 2016-02-23 more canonical names
2015-09-10 nipkow 2015-09-10 tuned
2014-03-20 kleing 2014-03-20 pointer to the other proof direction
2013-09-26 nipkow 2013-09-26 tuned
2013-09-25 nipkow 2013-09-25 tuned
2013-09-01 kleing 2013-09-01 remove redundant (simp del: ..)
2013-08-08 kleing 2013-08-08 avoid re-inventing transitive closure
2013-06-20 nipkow 2013-06-20 tuned theory name