10 lines
82 B
Text
10 lines
82 B
Text
========
|
|
Comments
|
|
========
|
|
|
|
[* foo [* nested *] *]
|
|
axiom nat : *;
|
|
[* bar *]
|
|
|
|
---
|
|
|