whyml_file.bnf 58 Bytes
Newer Older
1 2 3
\begin{syntax}
  file ::= (theory | module)*
\end{syntax}