echo "use \"useful.sml\"; use \"equiv.sml\"; exportML \"rhol\";" | $1
./rhol < hrat.sml
./rhol < hreal.sml
./rhol < realax.sml
./rhol < real.sml
./rhol < topology.sml
./rhol < nets.sml
./rhol < seq.sml
./rhol < lim.sml
./rhol < powser.sml
./rhol < transc.sml
/bin/rm -f ./rhol
