src/HOL/IMP/Hoare.thy
1996-02-05 clasohm 1996-02-05 expanded tabs; incorporated Konrad's changes
1996-01-23 nipkow 1996-01-23 Added a verified verification-condition generator.
1995-11-29 clasohm 1995-11-29 removed quotes from consts and syntax sections
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-08 nipkow 1995-03-08 Added pretty-printing coments
1995-03-07 nipkow 1995-03-07 *** empty log message ***
1995-03-07 nipkow 1995-03-07 *** empty log message ***
1995-03-07 nipkow 1995-03-07 Hoare logic