]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryTLexer.mll
| '$' { DL }
| '.' { FS }
| ',' { CM }
| '$' { DL }
| '.' { FS }
| ',' { CM }
| "and" { AND }
| "attr" { ATTR }
| "attribute" { ATTRIB }
| "and" { AND }
| "attr" { ATTR }
| "attribute" { ATTRIB }