]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryTLexer.mll
added inverse switch for relation and attribute
[helm.git] / helm / ocaml / mathql / mQueryTLexer.mll
index a0884e79dd21a7a6ec2f23da7380875a6639d4d6..6f4fab954e43e38e04d4718ab980dfea6add95ee 100644 (file)
@@ -76,6 +76,7 @@ and query_token = parse
    | "fun"       { FUN    }
    | "in"        { IN     }
    | "intersect" { INTER  }
+   | "inverse"   { INV    }
    | "let"       { LET    }
    | "meet"      { MEET   }
    | "not"       { NOT    }