%=============================================================================%
%                                    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 = `ml/`;;
let lisp_dir_pathname = `lisp/`;;

% No longer needed.		  [TFM 91.02.24] %
% let theories_dir_pathname = `theories/`;;      %
