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