Rabo de toro con setas (olla rápida)

Ingredientes

• 2 rabos de toro
• 2 cebollas
• 2 ajos
• 1 zanahoria
• 100 ml de tomate triturado
• 1 vaso de vino tinto
• 100 ml de agua
• Setas variadas
• Mantequilla
• Aceite de oliva
• Pastilla de caldo
• Tomillo
• 2 hojas de laurel
• Pimienta negra
• Pimentón dulce