| 1998-10-02 | nipkow | 1998-10-02 | id <-> Id | file | diff | annotate |
| 1998-07-24 | berghofe | 1998-07-24 | Adapted to new datatype package. | file | diff | annotate |
| 1998-05-06 | nipkow | 1998-05-06 | Changed [/] to [:=] and removed actual definition. | file | diff | annotate |
| 1997-03-30 | nipkow | 1997-03-30 | Replaced (s,t) : id by s=t. | file | diff | annotate |
| 1996-04-27 | nipkow | 1996-04-27 | A completely new version of IMP. | file | diff | annotate |
| 1996-02-07 | nipkow | 1996-02-07 | Modified datatype com. Added (part of) relative completeness proof for Hoare logic. | file | diff | annotate |
| 1996-02-05 | clasohm | 1996-02-05 | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| 1995-11-29 | clasohm | 1995-11-29 | removed quotes from consts and syntax sections | file | diff | annotate |
| 1995-06-21 | clasohm | 1995-06-21 | removed \...\ inside strings | file | diff | annotate |
| 1995-03-03 | clasohm | 1995-03-03 | new version of HOL/IMP with curried function application | file | diff | annotate |