(* we use the following hack to provide Real.== *)structure Real = struct open Real fun == (x:real,y) = x = y end; (*None for Chapter 1*)use "sample2.sml";use "sample3.sml";use "sample4.sml";use "sample5.sml";(*None for Chapter 6*)use "sample7.sml";use "sample8.sml";use "sample9.sml";use "sample10.sml";use "test10.sml";quit();