new version of HOL/IMP with curried function application
#! /bin/sh#Make entire system using Standard ML of New Jersey#Pathnames will have to be modified for your siteISABELLEBIN=/homes/`whoami`/binISABELLECOMP=smlexport ISABELLEBIN ISABELLECOMP nohup make-all $*