		Search-engine friendly clone of the ACL2 documentation.

Examples

Imap-example

The ABNF grammar of the IMAP (Internet Message Access Protocol) 4rev1 syntax.

The IMAP 4rev1 syntax is specified by RFC 3501.

Subtopics

Imap-cst-command-auth-conc?
Imap-cst-list-char-conc?
Imap-cst-response-done-conc?
Imap-cst-list-list-conc-matchp$
Imap-cst-list-list-alt-matchp$
Imap-cst-astring-char-conc?
Imap-cst-string-conc?
Imap-cst-nstring-conc?
Imap-cst-list-rep-matchp$
Imap-cst-list-elem-matchp$
*all-imap-grammar-rules*: All the IMAP grammar rules, including the referenced ABNF core rules.
Imap-cst-response-done-conc2-rep-elem
Imap-cst-response-done-conc1-rep-elem
Imap-cst-command-auth-conc9-rep-elem
Imap-cst-command-auth-conc8-rep-elem
Imap-cst-command-auth-conc7-rep-elem
Imap-cst-command-auth-conc4-rep-elem
Imap-cst-command-auth-conc3-rep-elem
Imap-cst-command-auth-conc2-rep-elem
Imap-cst-command-auth-conc11-rep-elem
Imap-cst-command-auth-conc10-rep-elem
Imap-cst-command-auth-conc1-rep-elem
Imap-cst-astring-char-conc2-rep-elem
Imap-cst-astring-char-conc1-rep-elem
Imap-cst-response-done-conc2-rep
Imap-cst-response-done-conc1-rep
Imap-cst-matchp$
Imap-cst-list-char-conc3-rep-elem
Imap-cst-list-char-conc2-rep-elem
Imap-cst-list-char-conc1-rep-elem
Imap-cst-header-fld-name-conc-rep-elem
Imap-cst-env-in-reply-to-conc-rep-elem
Imap-cst-command-auth-conc9-rep
Imap-cst-command-auth-conc8-rep
Imap-cst-command-auth-conc7-rep
Imap-cst-command-auth-conc6-rep-elem
Imap-cst-command-auth-conc6-rep
Imap-cst-command-auth-conc5-rep-elem
Imap-cst-command-auth-conc5-rep
Imap-cst-command-auth-conc4-rep
Imap-cst-command-auth-conc3-rep
Imap-cst-command-auth-conc2-rep
Imap-cst-command-auth-conc11-rep
Imap-cst-command-auth-conc10-rep
Imap-cst-command-auth-conc1-rep
Imap-cst-body-fld-octets-conc-rep-elem
Imap-cst-astring-char-conc2-rep
Imap-cst-astring-char-conc1-rep
Imap-cst-string-conc2-rep-elem
Imap-cst-string-conc1-rep-elem
Imap-cst-store-att-flags-conc
Imap-cst-status-att-list-conc
Imap-cst-response-tagged-conc
Imap-cst-response-done-conc2
Imap-cst-response-done-conc1
Imap-cst-resp-specials-conc-rep-elem
Imap-cst-resp-specials-conc-rep
Imap-cst-resp-cond-state-conc
Imap-cst-nstring-conc2-rep-elem
Imap-cst-nstring-conc2-rep
Imap-cst-nstring-conc1-rep-elem
Imap-cst-nstring-conc1-rep
Imap-cst-msg-att-dynamic-conc
Imap-cst-media-subtype-conc-rep-elem
Imap-cst-media-subtype-conc-rep
Imap-cst-list-char-conc3-rep
Imap-cst-list-char-conc3
Imap-cst-list-char-conc2-rep
Imap-cst-list-char-conc2
Imap-cst-list-char-conc1-rep
Imap-cst-list-char-conc1
Imap-cst-header-fld-name-conc-rep
Imap-cst-flag-keyword-conc-rep-elem
Imap-cst-env-subject-conc-rep-elem
Imap-cst-env-message-id-conc-rep-elem
Imap-cst-env-message-id-conc-rep
Imap-cst-env-in-reply-to-conc-rep
Imap-cst-command-auth-conc9
Imap-cst-command-auth-conc8
Imap-cst-command-auth-conc7
Imap-cst-command-auth-conc6
Imap-cst-command-auth-conc5
Imap-cst-command-auth-conc4
Imap-cst-command-auth-conc3
Imap-cst-command-auth-conc2
Imap-cst-command-auth-conc11
Imap-cst-command-auth-conc10
Imap-cst-command-auth-conc1
Imap-cst-capability-data-conc
Imap-cst-body-type-text-conc
Imap-cst-body-type-mpart-conc
Imap-cst-body-type-basic-conc
Imap-cst-body-type-1part-conc
Imap-cst-body-fld-octets-conc-rep
Imap-cst-body-fld-md5-conc-rep-elem
Imap-cst-body-fld-loc-conc-rep-elem
Imap-cst-body-fld-lines-conc-rep-elem
Imap-cst-body-fld-lines-conc-rep
Imap-cst-body-fld-id-conc-rep-elem
Imap-cst-body-fld-desc-conc-rep-elem
Imap-cst-body-fld-desc-conc-rep
Imap-cst-body-ext-mpart-conc
Imap-cst-body-ext-1part-conc
Imap-cst-atom-char-conc-rep-elem
Imap-cst-astring-char-conc2
Imap-cst-astring-char-conc1
Imap-cst-addr-mailbox-conc-rep-elem
Imap-cst-x-command-conc
Imap-cst-userid-conc-rep-elem
Imap-cst-unsubscribe-conc
Imap-cst-uniqueid-conc-rep-elem
Imap-cst-uniqueid-conc-rep
Imap-cst-text-char-conc-rep-elem
Imap-cst-text-char-conc-rep
Imap-cst-string-conc2-rep
Imap-cst-string-conc2
Imap-cst-string-conc1-rep
Imap-cst-string-conc1
Imap-cst-sequence-set-conc
Imap-cst-section-part-conc
Imap-cst-response-fatal-conc
Imap-cst-response-data-conc
Imap-cst-resp-specials-conc
Imap-cst-resp-cond-bye-conc
Imap-cst-resp-cond-auth-conc
Imap-cst-password-conc-rep-elem
Imap-cst-password-conc-rep
Imap-cst-nstring-conc2
Imap-cst-nstring-conc1
Imap-cst-message-data-conc
Imap-cst-media-text-conc
Imap-cst-media-subtype-conc
Imap-cst-media-message-conc
Imap-cst-media-basic-conc
Imap-cst-mailbox-list-conc
Imap-cst-header-list-conc
Imap-cst-header-fld-name-conc
Imap-cst-flag-keyword-conc-rep
Imap-cst-flag-keyword-conc
Imap-cst-flag-extension-conc
Imap-cst-envelope-conc
Imap-cst-env-subject-conc-rep
Imap-cst-env-subject-conc
Imap-cst-env-message-id-conc
Imap-cst-env-in-reply-to-conc
Imap-cst-env-date-conc-rep-elem
Imap-cst-env-date-conc-rep
Imap-cst-dquote-conc-rep-elem
Imap-cst-digit-nz-conc-rep-elem
Imap-cst-digit-nz-conc-rep
Imap-cst-continue-req-conc
Imap-cst-body-type-msg-conc
Imap-cst-body-fld-octets-conc
Imap-cst-body-fld-md5-conc-rep
Imap-cst-body-fld-md5-conc
Imap-cst-body-fld-loc-conc-rep
Imap-cst-body-fld-loc-conc
Imap-cst-body-fld-lines-conc
Imap-cst-body-fld-id-conc-rep
Imap-cst-body-fld-id-conc
Imap-cst-body-fld-desc-conc
Imap-cst-body-fields-conc
Imap-cst-authenticate-conc
Imap-cst-auth-type-conc-rep-elem
Imap-cst-auth-type-conc-rep
Imap-cst-atom-char-conc-rep
Imap-cst-addr-name-conc-rep-elem
Imap-cst-addr-name-conc-rep
Imap-cst-addr-mailbox-conc-rep
Imap-cst-addr-mailbox-conc
Imap-cst-addr-host-conc-rep-elem
Imap-cst-addr-host-conc-rep
Imap-cst-addr-adl-conc-rep-elem
Imap-cst-addr-adl-conc-rep
Imap-cst-userid-conc-rep
Imap-cst-userid-conc
Imap-cst-uniqueid-conc
Imap-cst-text-char-conc
Imap-cst-subscribe-conc
Imap-cst-store-conc
Imap-cst-status-conc
Imap-cst-sp-conc-rep-elem
Imap-cst-seq-range-conc
Imap-cst-select-conc
Imap-cst-section-conc
Imap-cst-search-conc
Imap-cst-response-conc
Imap-cst-resp-text-conc
Imap-cst-rename-conc
Imap-cst-quoted-conc
Imap-cst-password-conc
Imap-cst-nz-number-conc
Imap-cst-number-conc
Imap-cst-nil-conc-rep-elem
Imap-cst-nil-conc-rep
Imap-cst-msg-att-conc
Imap-cst-login-conc
Imap-cst-literal-conc
Imap-cst-lf-conc-rep-elem
Imap-cst-greeting-conc
Imap-cst-flag-list-conc
Imap-cst-fetch-conc
Imap-cst-examine-conc
Imap-cst-env-date-conc
Imap-cst-dquote-conc-rep
Imap-cst-dquote-conc
Imap-cst-digit-nz-conc
Imap-cst-digit-conc-rep-elem
Imap-cst-digit-conc-rep
Imap-cst-delete-conc
Imap-cst-date-year-conc
Imap-cst-date-time-conc
Imap-cst-date-text-conc
Imap-cst-date-day-conc
Imap-cst-create-conc
Imap-cst-cr-conc-rep-elem
Imap-cst-command-conc
Imap-cst-char8-conc-rep-elem
Imap-cst-char8-conc-rep
Imap-cst-body-conc
Imap-cst-base64-conc
Imap-cst-auth-type-conc
Imap-cst-atom-char-conc
Imap-cst-append-conc
Imap-cst-address-conc
Imap-cst-addr-name-conc
Imap-cst-addr-host-conc
Imap-cst-addr-adl-conc
*imap-grammar-rules*: The IMAP grammar rules from RFC 3501.
Imap-cst-zone-conc
Imap-cst-uid-conc
Imap-cst-time-conc
Imap-cst-text-conc
Imap-cst-tag-conc
Imap-cst-sp-conc-rep
Imap-cst-sp-conc
Imap-cst-nil-conc
Imap-cst-lsub-conc
Imap-cst-list-conc
Imap-cst-lf-conc-rep
Imap-cst-lf-conc
Imap-cst-digit-conc
Imap-cst-crlf-conc
Imap-cst-cr-conc-rep
Imap-cst-cr-conc
Imap-cst-copy-conc
Imap-cst-char8-conc
Imap-cst-atom-conc
Imap-cst-%x61-7a-nat
Imap-cst-%x41-5a-nat
Imap-cst-%x31-39-nat
Imap-cst-%x30-39-nat
Imap-cst-%x1-ff-nat
Imap-cst-%x0-1f-nat