src/HOL/IMP/Sec_Type_Expr.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-12-04 nipkow 2012-12-04 tuned defs of sec_xyz
2011-10-20 nipkow 2011-10-20 renamed name -> vname
2011-10-19 nipkow 2011-10-19 renamed B to Bc
2011-06-06 kleing 2011-06-06 imported rest of new IMP