echo "use \"base.sml\"; exportML \"whol\";" | $1
./whol < mk_word_base.sml
./whol < mk_word_bitop.sml
./whol < mk_word_num.sml
./whol < mk_bword_bitop.sml
./whol < mk_bword_num.sml
./whol < mk_bword_arith.sml
./whol < mk_word.sml

echo "hol90 word theories built."
/bin/rm -f ./whol
