Brisket Pot Roast I

Ingredients

• 3-4 medium onions
• 3-4 pound single brisket
• 1 teaspoon salt
• 3 cloves garlic, minced
• 1/4 teaspoon pepper
• 1/2 teaspoon paprika
• 1 pound carrots
• 3/4 pound fresh mushrooms, sliced
• 2 pounds potatoes, peeled and cut in quarters
• Bay leaf
• 1 cup unseasoned tomato sauce or puree
• 1/4 cup ketchup
• 2-4 cups water