lean2/tests/lean/extra/show_goal.9.12.expected.out

4 lines
61 B
Text

LEAN_INFORMATION
position 10:2
no goals
END_LEAN_INFORMATION