> <import-spec> --> <import-set> | (for <import-set> <import-phase>*) > > <import-phase> --> run | expand ; possibley eval as well I forgot to mention earlier that Matthew and I decided that, when <import-spec> --> <import-set>, i.e., in the absense of an explicit (for --- <import-phase>*) declaration, the default set of phases should be run and expand. Kent