# HG changeset patch
# User paulson
# Date 848330803 -3600
# Node ID 97a2d44a80138a3dec6604822d4c86c4a6b72eb4
# Parent  c00533aec02f707645bf1a0f87909424c54f8286
Introduction of structure Int

diff -r c00533aec02f -r 97a2d44a8013 src/Pure/NJ093.ML
--- 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;