I notice that some function names need to be changed when using the key word
'use_file' to include ML files, e.g. EQUAL becomes E%Q%UAL. I wonder why ? Is
there anything else I need to keep in mind when using use_fie ? Many thanks.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Proofpower mailing list