Using interpreted functions

Mar 25, 2015 at 1:50 PM
Edited Mar 25, 2015 at 6:02 PM
How can I use interpreted functions in Formula specifications? Many functions are mentioned in the manual. Formula knows arithmetic operators and String operators, but if I try to use any of List (e.g. isSubterm) operators Formula complains that the symbol is not defined. Is there any example on how to use these functions?