fix some references to theorems in initCompEnvScript.sml

since some things have moved to HOL