src/HOL/IMP/Def_Init_Small.thy
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-24 nipkow 2013-07-24 merged Def_Init_Sound_X into Def_Init_X
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2012-11-22 nipkow 2012-11-22 tuned names