Delete State.thy