fungerande bevis lab1 logik
Merge branch 'master' of github.com:apals/kth