Introduction of structure Int

--- a/src/Pure/NJ093.ML	Mon Nov 18 16:26:08 1996 +0100
+++ b/src/Pure/NJ093.ML	Mon Nov 18 16:26:43 1996 +0100
@@ -6,9 +6,18 @@
 Compatibility file for Standard ML of New Jersey version 0.93.
 *)
 
+
+(*** Basis Library emulation ***)
+
+structure Int =
+  struct
+  fun max (x, y) = if x < y then y else x : int;
+  fun min (x, y) = if x < y then x else y : int;
+  end;
+
+
 (*** Poly/ML emulation ***)
 
-
 (*To exit the system with an exit code -- an alternative to ^D *)
 val exit = System.Unsafe.CInterface.exit;
 fun quit () = exit 0;