ArithSyntax.v « Arith « theories - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/theories/Arith/ArithSyntax.v

blob: cd762d4253ca5e3e7b726963366bf420b86c3f1f (plain)

Infix 4 "+" plus.
Infix 3 "*" mult.
Infix 1 "<=" le.
Infix 1 "<" lt.
Infix 1 ">=" ge.
(* Infix 1 ">" gt.*)