src/Pure/basis.ML
changeset 2230 275a5a699ff7
parent 2217 411f4683feb6
child 2265 3123fef88dce
     1.1 --- a/src/Pure/basis.ML	Tue Nov 26 16:26:06 1996 +0100
     1.2 +++ b/src/Pure/basis.ML	Tue Nov 26 16:29:30 1996 +0100
     1.3 @@ -10,8 +10,15 @@
     1.4  Full compatibility cannot be obtained using a file: what about char constants?
     1.5  *)
     1.6  
     1.7 +structure Bool =
     1.8 +  struct
     1.9 +  fun toString true  = "true"
    1.10 +    | toString false = "false"
    1.11 +  end;
    1.12 +
    1.13  structure Int =
    1.14    struct
    1.15 +  fun toString (i: int) = makestring i;
    1.16    fun max (x, y) = if x < y then y else x : int;
    1.17    fun min (x, y) = if x < y then x else y : int;
    1.18    end;