app use [
    "vector-util.sml",
    "terms.sml",
    "rules.sml",
    "boyer.sml"
  ];