src/HOL/IMP/VCG.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
2014-01-13 nipkow 2014-01-13 tuned
2014-01-07 nipkow 2014-01-07 tuned
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-06-12 nipkow 2013-06-12 same order of properties as in While rule
2013-06-07 nipkow 2013-06-07 tuned variable names
2013-06-07 nipkow 2013-06-07 tuned
2013-06-06 nipkow 2013-06-06 tuned defs
2013-05-31 nipkow 2013-05-31 more VC -> VCG
2013-05-31 nipkow 2013-05-31 VCG is standard name