/usr/share/hol88-2.02.19940316/ml/site.ml is in hol88-source 2.02.19940316-28.
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 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 | %=============================================================================%
% HOL 88 %
% %
% FILE NAME: site.ml.orig %
% %
% DESCRIPTION: Source file for site dependent information %
% %
% USES FILES: hol-lcf lisp files %
% %
% University of Cambridge %
% Hardware Verification Group %
% Computer Laboratory %
% New Museums Site %
% Pembroke Street %
% Cambridge CB2 3QG %
% England %
% %
% COPYRIGHT: University of Edinburgh %
% COPYRIGHT: University of Cambridge %
% COPYRIGHT: INRIA %
% %
% VERSION: 2.0 %
% REVISION HISTORY: 91.02.24 TFM %
%=============================================================================%
% Must be compiled when other ml sources are compiled %
let concat tok1 tok2 = implode( explode tok1 @ explode tok2);;
let ml_dir_pathname = `/home/camm/hol88-2.02.19940316/ml/`;;
let lisp_dir_pathname = `/home/camm/hol88-2.02.19940316/lisp/`;;
% No longer needed. [TFM 91.02.24] %
% let theories_dir_pathname = `theories/`;; %
|