added raw_term_sorts and changed typ_of_term accordingly (part of fix
of the typevar-sort-constraint BUG);
various minor internal changes;
#! /bin/sh
#Make entire system using Standard ML of New Jersey
#Pathnames will have to be modified for your site
ISABELLEBIN=/homes/`whoami`/bin
ISABELLECOMP=sml
export ISABELLEBIN ISABELLECOMP
nohup make-all $*