Boyer_Moore/boyer-moore.ml

   1 (******************************************************************************)
   2 (* LAST MODIFIED : P. Papapanagiotou (University of Edinburgh)                *)
   3 (* DATE          : July 2009                                                  *)
   4 (******************************************************************************)
   5
   6 let paths = [".";!hol_dir ^ "/Boyer_Moore"]
   7 in map (fun st -> load_on_path paths st)
   8         ["support.ml";
   9          "struct_equal.ml";
  10          "shells.ml";
  11          "environment.ml";
  12          "clausal_form.ml";
  13          "waterfall.ml";
  14          "rewrite_rules.ml";
  15          "definitions.ml";
  16          "terms_and_clauses.ml";
  17          "equalities.ml";
  18          "induction.ml";
  19          "counterexample.ml";
  20          "generalize.ml";
  21          "irrelevance.ml";
  22          "main.ml"];;