| 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 |
| Sat, 27 Apr 1996 18:50:39 +0200 | nipkow | Updated IMP | changeset | files |