cd ./utp-designs/
docsml utp-des
docsml utp-des-axioms
docsml utp-des-laws
xpp -d ../db/circus -f utp-des.doc -i utp-des.sml -i utp-des-axioms.sml -i utp-des-laws.sml
