ExportML ("smlcore_ex",
"Edinburgh Standard ML (core language)                 (C) Edinburgh University\n",
          [ (* e.g. for startup file "/usr/lib/.smlrc"*) ]);
