| Fri, 23 May 1997 14:52:45 +0200 | wenzelm | fixed; | file | diff | annotate |
| Mon, 16 Dec 1996 10:04:45 +0100 | wenzelm | added needs_filtered_use; | file | diff | annotate |
| Wed, 27 Nov 1996 10:45:58 +0100 | paulson | Basis library emulation, especially of I/O operations | file | diff | annotate |
| Mon, 18 Nov 1996 16:26:43 +0100 | paulson | Introduction of structure Int | file | diff | annotate |
| Tue, 06 Feb 1996 12:44:31 +0100 | clasohm | made Isabelle compatible with SML/NJ 1.09 | file | diff | annotate |