isabelle: File revisions

src/HOL/IMP/Hoare_Sound_Complete.thy

2017-11-07	nipkow	Replaced { } proofs by local lemmas; added Hoare logic with logical variables.	file \| diff \| annotate
2016-07-23	nipkow	added new vcg based on existentially quantified while-rule	file \| diff \| annotate
2013-12-18	nipkow	added lemma	file \| diff \| annotate
2013-08-13	wenzelm	standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;	file \| diff \| annotate
2013-06-13	nipkow	simplified proofs	file \| diff \| annotate
2013-06-06	nipkow	tuned defs	file \| diff \| annotate
2013-06-03	nipkow	corrected name	file \| diff \| annotate
2013-05-28	nipkow	tuned	file \| diff \| annotate
2013-05-27	nipkow	tuned	file \| diff \| annotate
2013-05-27	nipkow	tuned	file \| diff \| annotate
2013-05-17	nipkow	replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time	file \| diff \| annotate
2012-04-28	nipkow	renamed Semi to Seq	file \| diff \| annotate
2011-09-20	nipkow	Updated IMP to use new induction method	file \| diff \| annotate
2011-06-06	kleing	imported rest of new IMP	file \| diff \| annotate

isabelle