src/HOL/IMP/Hoare_Total.thy
2014-01-25 nipkow 2014-01-25 added lemma
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-05 nipkow 2013-07-05 improved proof automation for numerals
2013-06-13 nipkow 2013-06-13 simplified proofs
2013-06-07 nipkow 2013-06-07 tuned
2013-06-03 nipkow 2013-06-03 tuned proofs
2013-06-01 nipkow 2013-06-01 tuned theory name