src/HOL/IMP/Def_Init_Exp.thy
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-11-22 nipkow 2012-11-22 tuned names