1 Unix.putenv "FLYSPECK_DIR" (Unix.getcwd () ^ "/text_formalization");;
2 load_path := (Unix.getcwd () ^ "/jHOLLight") :: !load_path;;
3 load_path := (Unix.getcwd () ^ "/text_formalization") :: !load_path;;
4 loadt "text_formalization/strictbuild.hl";;