Files
2025-05-12 18:43:40 +02:00

6 lines
73 B
Scheme

[
(extramodular_text)
(block_comment)
(non_terminal_proof)
] @fold