src/HOL/IMP/BExp.thy
2015-05-04 nipkow 2015-05-04 no longer needed
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2013-12-23 nipkow 2013-12-23 tuned
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-10-18 nipkow 2012-10-18 tuned
2012-09-07 nipkow 2012-09-07 tuned latex
2011-10-23 nipkow 2011-10-23 tuned order of eqns
2011-10-23 nipkow 2011-10-23 tuned
2011-10-20 nipkow 2011-10-20 tuned
2011-10-19 nipkow 2011-10-19 renamed B to Bc
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
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