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 [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
