rm ./z/*.sml
rm ./utp-relations/*.sml
rm ./utp-okay/*.sml
rm ./utp-designs/*.sml
rm ./utp-wtr/*.sml
rm ./utp-reactive/*.sml
rm ./utp-csp/*.sml
rm ./utp-circus/*.sml
