src/HOL/IMP/Big_Step.thy
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;
2015-01-26 hoelzl 2015-01-26 spelling error
2013-10-23 nipkow 2013-10-23 tuned
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-06-20 nipkow 2013-06-20 tuned
2013-06-18 kleing 2013-06-18 adjust layout for book
2013-06-17 kleing 2013-06-17 use \<^isub> in determ proof for display in book
2013-06-14 kleing 2013-06-14 another example lemma
2013-06-12 kleing 2013-06-12 prefer xsymbol for book
2013-06-11 kleing 2013-06-11 some comments on syntax and automation setup
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2013-05-16 kleing 2013-05-16 explicitly state equivalence relation for sim; tweak syntax of sem_equiv
2013-03-25 nipkow 2013-03-25 added lemmas
2012-11-12 nipkow 2012-11-12 tuned layout
2012-09-07 nipkow 2012-09-07 tuned latex
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2011-11-03 kleing 2011-11-03 more IMP fragments
2011-11-03 kleing 2011-11-03 more IMP text fragments
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