TacticNotations.tokens « notations « coqrst « tools « doc - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/doc/tools/coqrst/notations/TacticNotations.tokens

blob: 88b38f97a6964d2c4c66fda937c453ace678fd54 (plain)

LGROUP=1
LBRACE=2
RBRACE=3
METACHAR=4
ATOM=5
ID=6
SUB=7
WHITESPACE=8
'{'=2
'}'=3