This directory contains a library for ABNF (Augmented Backus-Naur Form).

The ABNF library is documented in the manual at:
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=ABNF____ABNF
