development/thales/chaff/load_path.ml

   1 #use "hol.ml";;
   2
   3 (* My customization *)
   4
   5 load_path :=
   6      ["/Users/thomashales/Desktop/flyspeck_google/source/inequalities/";
   7       "/Users/thomashales/Desktop/flyspeck_google/source/text_formalization/"]
   8         @ (!load_path);;
   9
  10 load_path :=
  11      ["/Users/thomashales/Desktop/flyspeck_google/flyspeck/inequalities/";
  12       "/Users/thomashales/Desktop/flyspeck_google/flyspeck/text_formalization/"]
  13         @ (!load_path);;
  14
  15
  16 needs "build.ml";;