Cook noodles according to package directions. Meanwhile, in skillet, saute minced garlic in oil until tender. Add broccoli; saute for 4 minutes or until crisp-tender. Add the mushrooms, thyme, pepper and salt if desired; saute for 2-3 minutes. Drain the noodles and add to the broccoli mixture. Stir gently over low heat until heated through. Yield: 8 servings.