thys/Hoare_gen.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 some small modifications
2014-03-21 Christian Urban minor changes
2014-03-19 Christian Urban some tiny changes (does not affect anything else)
2014-03-13 Christian Urban added original Separation_Algebra theory
2014-03-06 Christian Urban initial commit for Isabelle 2013-1
less more (0) tip