/usr/share/hol88-2.02.19940316/help/ENTRIES/vars.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 22 23 24 25 26 | \DOC vars
\TYPE {vars : (term -> term list)}
\SYNOPSIS
Determines the variables used in a given term.
\DESCRIBE
Given a term argument, {vars} returns a list of variables that occur
in that term.
\EXAMPLE
{
#vars "\a:bool. a";;
["a"] : term list
#vars "\b:*. SUC 0";;
["b"] : term list
#vars "(a:num) + (b:num)";;
["a"; "b"] : term list
}
\SEEALSO
varsl.
\ENDDOC
|