diff options
Diffstat (limited to 'theories/Arith/ArithSyntax.v')
-rw-r--r-- | theories/Arith/ArithSyntax.v | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/theories/Arith/ArithSyntax.v b/theories/Arith/ArithSyntax.v deleted file mode 100644 index cd762d425..000000000 --- a/theories/Arith/ArithSyntax.v +++ /dev/null @@ -1,6 +0,0 @@ -Infix 4 "+" plus. -Infix 3 "*" mult. -Infix 1 "<=" le. -Infix 1 "<" lt. -Infix 1 ">=" ge. -(* Infix 1 ">" gt.*) |