startServer -new MULTIDIMDB -t no cd oHome # echo "Preparing oHome module ..." tellModel "00-oHome.sml.txt" showAnswer why mkdir MultiDim cd MultiDim # echo "Preparing MultiDim module ..." tellModel "01-multidim-constructs.sml.txt" showAnswer why mkdir Fig5 cd Fig5 # echo "Loading example Fig5 ..." tellModel "02-Fig5.sml.txt" showAnswer why ask DimensionWithMembers OBJNAMES FRAME Now