# HG changeset patch
# User paulson
# Date 846857541 -3600
# Node ID c2aedd8169cd232a2148c2b987fc2a45af244906
# Parent  eaa7ab39889d72cd4778292d366a8f6f63bc042c
Now defines structure Int

diff -r eaa7ab39889d -r c2aedd8169cd src/Pure/NJ1xx.ML
--- a/src/Pure/NJ1xx.ML	Wed Oct 30 11:21:24 1996 +0100
+++ b/src/Pure/NJ1xx.ML	Fri Nov 01 15:12:21 1996 +0100
@@ -14,6 +14,8 @@
   | exit _ = OS.Process.exit OS.Process.failure;
 fun quit () = exit 0;
 
+structure Int = Integer;
+
 (*To change the current directory*)
 val cd = OS.FileSys.chDir;
 
diff -r eaa7ab39889d -r c2aedd8169cd src/Pure/POLY.ML
--- a/src/Pure/POLY.ML	Wed Oct 30 11:21:24 1996 +0100
+++ b/src/Pure/POLY.ML	Fri Nov 01 15:12:21 1996 +0100
@@ -9,6 +9,13 @@
 open PolyML ExtendedIO;
 
 
+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;
+
+
 (*A conditional timing function: applies f to () and, if the flag is true,
   prints its runtime.*)