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