Merge pull request #13 from Danghor/master

fixed typos
recompiled probe-klausur
use new setlx syntax for functions represented as relations