why_file.bnf 47 Bytes
Newer Older
1 2 3
\begin{syntax}
  file ::= theory*
\end{syntax}