DOC: add "FALSE" and "TRUE" to grammar

The TLA+ form of the Boolean constants was added to the parser module `dd._parser` in commit: ce9f6fb
tulip-control · Mar 28, 2021 · 269e4fc · 269e4fc
1 parent c5f62fa
commit 269e4fc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc.md b/doc.md
@@ -1037,8 +1037,8 @@ expr ::= '\A' names ':' expr  # universal quantification (forall)
        | '(' expr ')'     # parentheses
        | NAME             # identifier (bit variable)
        | '@' INTEGER      # BDD node reference
-       | 'False'          # Boolean constant
-       | 'True'           # Boolean constant
+       | 'FALSE' | 'False' # Boolean constant
+       | 'TRUE' | 'True'   # Boolean constant
 
 pairs ::= [pairs] ',' pair
 pair ::= NAME '/' NAME