/usr/share/hol88-2.02.19940316/Library/trs/extents.ml is in hol88-library-source 2.02.19940316-15.
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 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 %
% %
%****************************************************************************%
%----------------------------------------------------------------------------%
|