1 (******************************************************************************)
2 (* LAST MODIFIED : P. Papapanagiotou (University of Edinburgh) *)
4 (******************************************************************************)
6 let paths = [".";!hol_dir ^ "/Boyer_Moore"]
7 in map (fun st -> load_on_path paths st)
16 "terms_and_clauses.ml";