		Search-engine friendly clone of the ACL2 documentation.

Concrete-syntax-rules

Rules that specify the concrete syntax of ABNF.

These are the rules in [RFC:4].

Note that these rules refer to some core rule names, so we include the core rules in this file.

Concrete-syntax-rule-definitions: Definition of the concrete syntax rules.
Concrete-syntax-rule-names: Names of the ABNF concrete syntax rules.
*concrete-syntax-rules*: The ABNF concrete syntax rules, excluding the core rules.
Concrete-syntax-rules-validation: Validation of the concrete syntax rules.