| Fri, 04 Apr 1997 14:05:12 +0200 | nipkow | renamed variable 'inv' | file | diff | annotate |
| Mon, 03 Mar 1997 13:50:40 +0100 | wenzelm | added comment: print translations do not mark tokens; | file | diff | annotate |
| Wed, 27 Nov 1996 10:41:42 +0100 | paulson | Replaced obsolete "makestring" by Int.toString | file | diff | annotate |
| Tue, 25 Jun 1996 13:11:29 +0200 | berghofe | Changed argument order of nat_rec. | file | diff | annotate |
| Fri, 08 Mar 1996 13:11:09 +0100 | clasohm | added constdefs section | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Fri, 01 Dec 1995 14:17:50 +0100 | clasohm | removed quotes from types section | file | diff | annotate |
| Wed, 29 Nov 1995 17:01:41 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | file | diff | annotate |