| Tue, 30 Apr 1996 11:08:09 +0200 | paulson | Cosmetic re-ordering of declarations | changeset | files |
| Mon, 29 Apr 1996 20:15:33 +0200 | nipkow | Streamlined syntax: -(n)-> is now -n->. | changeset | files |
| Mon, 29 Apr 1996 15:48:27 +0200 | nipkow | Natural and Transition semantics. | changeset | files |
| Sat, 27 Apr 1996 18:51:42 +0200 | nipkow | Forgot to add Expr to IMP. | changeset | files |