| Thu, 11 Jul 1996 15:00:38 +0200 | paulson | Documentation of oracles and their syntax | file | diff | annotate |
| Thu, 04 Apr 1996 18:01:47 +0200 | nipkow | Added 'constdefs' | file | diff | annotate |
| Fri, 09 Feb 1996 18:25:27 +0100 | nipkow | Added typevarlist | file | diff | annotate |
| Fri, 01 Dec 1995 14:20:09 +0100 | clasohm | changed typeDecl | file | diff | annotate |
| Fri, 01 Dec 1995 13:41:48 +0100 | clasohm | corrected diagrams for type and simpleType | file | diff | annotate |
| Fri, 01 Dec 1995 12:26:42 +0100 | clasohm | modified simpleType | file | diff | annotate |