Structure Bool and value Int.toString needed to replace makestring calls

--- a/src/Pure/basis.ML	Tue Nov 26 16:26:06 1996 +0100
+++ b/src/Pure/basis.ML	Tue Nov 26 16:29:30 1996 +0100
@@ -10,8 +10,15 @@
 Full compatibility cannot be obtained using a file: what about char constants?
 *)
 
+structure Bool =
+  struct
+  fun toString true  = "true"
+    | toString false = "false"
+  end;
+
 structure Int =
   struct
+  fun toString (i: int) = makestring i;
   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;