thys/Hoare_tm.thy
2014-03-27 Christian Urban added some comments
2014-03-27 Christian Urban some minor changes
2014-03-27 Christian Urban moved some lemmas
2014-03-24 Christian Urban small modifications
2014-03-21 Christian Urban minor changes
2014-03-06 Christian Urban version for Isabelle 2013-2
2014-03-06 Christian Urban initial commit for Isabelle 2013-1
less more (0) tip