src/HOL/IMP/OO.thy
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-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2011-06-06 kleing 2011-06-06 imported rest of new IMP