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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
% extents.ml (c) R.J.Boulton 1990 %
%----------------------------------------------------------------------------%
%****************************************************************************%
% %
% W A R N I N G : The version of ML for which this code was written has %
% equality on abstract types defined automatically, i.e. %
% without the need for it to be defined within the %
% abstract type definitions. Furthermore, this code makes %
% use of these equality functions. %
% %
%****************************************************************************%
%****************************************************************************%
% %
% ..... %
% .M L. %
% ..... %
% | %
% ..|.. %
% .HOL. %
% ..... %
% | %
% | %
% extents.ml______________ %
% | | %
% | | %
% sets.ml | %
% | | %
% | | %
% extract.ml ______|______ %
% | | | %
% | | | %
% struct.ml name.ml thmkind.ml %
% |__________ | ___________| %
% | | | %
% matching.ml %
% ______|_______ %
% | | %
% sidecond.ml search.ml %
% |_____ ______| %
% | | %
% user.ml %
% %
%****************************************************************************%
%----------------------------------------------------------------------------%
|
