src/HOL/IMP/README.html
1997-05-07 paulson 1997-05-07 changed title to README
1997-03-17 nipkow 1997-03-17 Added link to HOLCF/IMP
1996-08-19 nipkow 1996-08-19 updated html-link
1996-04-27 nipkow 1996-04-27 A completely new version of IMP.
1996-01-23 nipkow 1996-01-23 Added a verified verification-condition generator.
1995-11-17 nipkow 1995-11-17 *** empty log message ***