formal_lp/hypermap/arith_link.hl

   1 let add_to_load_path path =
   2   if mem path !load_path then ()
   3   else load_path := path :: !load_path;;
   4
   5 let formal_ineqs_dir = flyspeck_dir ^ "/../formal_ineqs";;
   6 add_to_load_path formal_ineqs_dir;;
   7
   8 needs "arith_options.hl";;
   9 Arith_options.base := 100;;
  10 Arith_options.cached := false;;
  11
  12 needs "arith/nat.hl";;