generalize notion of 'induction hypothesis' to 'assumption'
parse proof by cases
proof by cases
fix error reporting
more tests
tuned
Merge pull request #6 from larsrh/topic/cases

Proof by case analysis