6 lines
73 B
Scheme
6 lines
73 B
Scheme
[
|
|
(extramodular_text)
|
|
(block_comment)
|
|
(non_terminal_proof)
|
|
] @fold
|