src/HOL/Hoare/README.html
2010-08-11 wenzelm 2010-08-11 modernized specifications; tuned headers;
2005-04-06 nipkow 2005-04-06 updated it
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2003-03-23 nipkow 2003-03-23 *** empty log message ***
1999-03-12 wenzelm 1999-03-12 made weblint happy;
1998-10-14 nipkow 1998-10-14 Description of new version.
1998-10-14 nipkow 1998-10-14 New many-sorted version.
1996-05-02 nipkow 1996-05-02 Added note on types.
1995-11-17 nipkow 1995-11-17 New directory. Hoare logic according to Mike Gordon.