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 |