--- 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;
--- 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.*)