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