src/Pure/NJ093.ML
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