1(* this is an -*- sml -*- file *) 2 3val _ = use "poly/Mosml.sml"; 4val _ = use "poly/Binarymap.sig"; 5val _ = use "poly/Binarymap.sml"; 6val _ = use "poly/Binaryset.sig"; 7val _ = use "poly/Binaryset.sml"; 8val _ = use "poly/Listsort.sig"; 9val _ = use "poly/Listsort.sml"; 10val _ = use "../tools/Holmake/holpathdb.sig"; 11val _ = use "../tools/Holmake/holpathdb.sml"; 12val _ = use "../tools-poly/Holmake/CompilerSpecific.ML"; 13val _ = use "../tools/Holmake/Systeml.sig"; 14val _ = use "../tools-poly/Holmake/Systeml.sml"; 15