Show let bindings with proper line breaks and indentation in prover
Merge pull request #1188 from david-christiansen/pprint

Show let bindings with proper line breaks and indentation in prover