Minor updates
Added tests
Alla tester klarade
Merge branch 'master' of https://github.com/isacarnekvist/beviskollare

Conflicts:
	ny.pl
Removed unused predicates
Merge branch 'Felix-gren'

Conflicts:
	ny.pl
Added comments for teacher satisfaction
Our non-trivial proof uses 'wrong' version of implies-elimination
Added non-correct non-trivial proof
Tvångstankar
bugfix must end at goal