steam broccoli in steamer rack over boiling water until bright green and nearly tender, 3-4 min.

heat oilnin lg. heavy skillet over med. high heat. Add mushrooms, onion, and broccoli; sprinkle with thyme, salt, and pepper. Cook, stirring occasionally with a lg. spoon until mushrooms are tender, about 5 min. Add vinegar and toss.