echo "use \"base.sml\"; save_hol \"whol\";" | $@
hol90=$@
$hol90 -u whol < mk_word_base.sml
$hol90 -u whol < mk_word_bitop.sml
$hol90 -u whol < mk_word_num.sml
$hol90 -u whol < mk_bword_bitop.sml
$hol90 -u whol < mk_bword_num.sml
$hol90 -u whol < mk_bword_arith.sml
$hol90 -u whol < mk_word.sml

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