Loading the reasoner

Once you have HOL Light up and running, you can load the reasoner in console mode using the following command:

1loads (!hol_dir ^ "/workflowfm/make.console.ml");;

If you need to use the JSON mode, you can use this command instead:

1loads (!hol_dir ^ "/workflowfm/make.ml");;