| Thu, 06 Jun 1996 14:39:44 +0200 | paulson | Quotes now optional around inductive set | file | diff | annotate |
| Mon, 29 Apr 1996 20:15:33 +0200 | nipkow | Streamlined syntax: -(n)-> is now -n->. | file | diff | annotate |
| Mon, 29 Apr 1996 15:48:27 +0200 | nipkow | Natural and Transition semantics. | file | diff | annotate |