src/Pure/NJ093.ML
1997-05-23 wenzelm 1997-05-23 fixed;
1996-12-16 wenzelm 1996-12-16 added needs_filtered_use;
1996-11-27 paulson 1996-11-27 Basis library emulation, especially of I/O operations
1996-11-18 paulson 1996-11-18 Introduction of structure Int
1996-02-06 clasohm 1996-02-06 made Isabelle compatible with SML/NJ 1.09