Fix buggy isomorphism checking for partial equations.
A new directory for challeng problems for HipSpec
Merge branch 'master' of https://github.com/danr/hipspec
Anther example for future challenges
Exit main loop when all user stated properties are proved when run -u (--only-user-stated)
Merge branch 'master' of github.com:danr/hipspec
Merge branch 'master' into approx

Conflicts:
	src/HipSpec/MakeInvocations.hs