/usr/share/hol88-2.02.19940316/contrib/non-unix/site-mac.ml is in hol88-contrib-source 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | % Must be compiled when other ml sources are compiled %
let concat tok1 tok2 = implode( explode tok1 @ explode tok2);;
let ml_dir_pathname = `ml:`;;
let lisp_dir_pathname = `internal:hol21:lisp:`;;
% No longer needed. [TFM 91.02.24] %
% let theories_dir_pathname = `theories:`;; %
|