Hi, 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.
best, Yuhui -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com