| changeset 41491 | a2ad5b824051 |
| parent 40314 | b5ec88d9ac03 |
| child 41959 | b460124855b8 |
--- a/src/HOL/Matrix/Compute_Oracle/compute.ML Mon Jan 10 15:30:17 2011 +0100 +++ b/src/HOL/Matrix/Compute_Oracle/compute.ML Mon Jan 10 15:45:46 2011 +0100 @@ -170,7 +170,7 @@ type naming = int -> string -fun default_naming i = "v_" ^ Int.toString i +fun default_naming i = "v_" ^ string_of_int i datatype computer = Computer of (theory_ref * Encode.encoding * term list * unit Sorttab.table * prog * unit Unsynchronized.ref * naming)