Tabs messed up Gentzen diagrams.
When I converted to using tab chars for indentation I messed up the diagrams in the doc strings.
This ticket is to remind me to fix them.
When I converted to using tab chars for indentation I messed up the diagrams in the doc strings.
This ticket is to remind me to fix them.