Unable to parse your query:
You might try to enclose your search term in quotes,
escape special characters
with \, or read the Help
on the query language. Error message from parser:
Cannot parse '--CFOL2IsabelleHOL.transFORMULA': Encountered " "-" "- "" at line 1, column 1.
Was expecting one of:
"(" ...
"*" ...
<QUOTED> ...
<TERM> ...
<PREFIXTERM> ...
<WILDTERM> ...
"[" ...
"{" ...
<NUMBER> ...
<TERM> ...
"*" ...