mv utp-z-library.th.doc ./z/
mv utp-rel.th.doc ./utp-relations/
mv utp-okay.th.doc ./utp-okay/
mv utp-des.th.doc ./utp-designs/
mv utp-wtr.th.doc ./utp-wtr/
mv utp-rea.th.doc ./utp-reactive/
mv utp-csp.th.doc ./utp-csp/
mv utp-circus.th.doc ./utp-circus/
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
