Conrad
Results
1
comments of
Conrad
All HOL Light terms are contained within \`\` not ' '. The conversion from \`\` to '' sometimes happens when you're copying from e.g. a PDF. \`2