/usr/share/hol88-2.02.19940316/help/ENTRIES/distinct.doc is in hol88-help 2.02.19940316-35.
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 | \DOC distinct
\TYPE {distinct : (* list -> bool)}
\SYNOPSIS
Checks whether the elements of a list are all distinct.
\DESCRIBE
If all the elements in a list are distinct, returns {true}, otherwise returns
{false}.
\FAILURE
Never fails.
\SEEALSO
setify.
\ENDDOC
|