spellcheck

[ar1516.git] / LICENCE

ALL FILES IN THIS REPO MAY BE USED FOR EVERYTHING YOU LIKE EXCEPT FOR HANDING
IT, OR PARTS, IN AS A SOLTION FOR THE AUTOMATED REASONING COURSE AT THE RU
NIJMEGEN 2015/2016