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