#!/bin/sh

set -e

rm -f *.events
rm -f utilities/*.*
rm -f logic/*.*
rm -f level2/*.*
rm -f level3/*.*
rm -f level4/*.*
rm -f level5/*.*
rm -f level6/*.*
rm -f level7/*.*
rm -f level8/*.*
rm -f level9/*.*
rm -f level10/*.*
rm -f level11/*.*
rm -f user/*.*
rm -f milawa-proofs.*