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

4 lines
61 B
Text

LEAN_INFORMATION
position 19:4
no goals
END_LEAN_INFORMATION