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