Add work on a simpler induction
Add sillyInduction (only does a case analysis)
Add subterm induction
Comment subterms a little
Fix some suggestions from hlint
Tweak travis
Another attempt at installing packages with apt for travis
Fix a bug due to parallel list comprehensions
Make a little bit smaller test cases
Don't run tests in parallel due to memory
Try to get travis to write the log afterwards
Throw away hypotheses to avoid exponential behaviour
Generate lists of types
Add subterm induction with proper quantification of variables not considered
Fix haddock documentation
Rename IndPart to Obligation and V to Tagged/Tag
Change to TaggedObligation instead of ObligationTagged
Move the unsound instantiator out of the library and to the test suite
Fiddle some with feat so more interesting types are tested
Make hlint happy