/usr/share/hol88-2.02.19940316/help/ENTRIES/disch.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 19 20 21 | \DOC disch
\TYPE {disch : ((term # term list) -> term list)}
\SYNOPSIS
Removes those elements of a list of terms that are alpha equivalent to a
given term.
\DESCRIBE
Given a pair {("t",tl)}, {disch} removes those elements of {tl} that are
alpha equivalent to {"t"}.
\EXAMPLE
{
disch ("\x:bool.T",["A = T";"B = 3";"\y:bool.T"]);;
["A = T";"B = 3"] : term list
}
\SEEALSO
filter.
\ENDDOC
|