fix bootstrap_lemmasScript.sml for moved theorems