Hi, I downloaded the code and #use "init.ml";; runs without errors. But how do I make OCaml's utop interactive with all of the .ml files?
Much Thanks, William Mitchell
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
