echo "use \"useful.sml\"; use \"equiv.sml\"; save_hol \"rhol\";" | $@
hol90=$@
$hol90 -u rhol* < hrat.sml
$hol90 -u rhol* < hreal.sml
$hol90 -u rhol* < realax.sml
$hol90 -u rhol* < real.sml
$hol90 -u rhol* < topology.sml
$hol90 -u rhol* < nets.sml
$hol90 -u rhol* < seq.sml
$hol90 -u rhol* < lim.sml
$hol90 -u rhol* < powser.sml
$hol90 -u rhol* < transc.sml
/bin/rm -f ./rhol*
