some fixes to THF parser

[helm.git] / helm / software / components / tptp_grafite / lexerTHF.mll

diff --git a/helm/software/components/tptp_grafite/lexerTHF.mll b/helm/software/components/tptp_grafite/lexerTHF.mll
index 6dc1d57957e1195ab231431ed63b24d4d314980e..4cbbb61bd25c9c9eef098d555054f549c0f7a120 100644 (file)
--- a/helm/software/components/tptp_grafite/lexerTHF.mll
+++ b/helm/software/components/tptp_grafite/lexerTHF.mll
@@ -57,6 +57,9 @@ rule yylex = parse
    | '~' { NOT }
    | '=' { IEQ }
    | "=>" { IMPLY }
+   | "<=" { IMPLYLR }
+   | "<=>" { COIMPLY }
+   | "<~>" { XOR }
    | "!=" { NIEQ }
    | "!" { FORALL }
    | "?" { EXISTS }