File: site_ml_orig

package info (click to toggle)
hol88 2.02.19940316-35
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 65,988 kB
  • ctags: 21,623
  • sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,095; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
file content (34 lines) | stat: -rw-r--r-- 2,198 bytes parent folder | download | duplicates (13)
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 = `ml/`;;
let lisp_dir_pathname = `lisp/`;;

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