Um dos pratos mais apreciados da cozinha regional portuguesa, recebe o nome de tripa no Porto. No Brasil, é conhecida por dobradinha ou também tripa. É um guisado de estômago de boi, vaca ou vitela, cortado em pedacinhos.
Fonte: Pequeno Dicionário de Gastronomia, Maria Lúcia Gomensoro
Confira os restaurantes da cidade que servem esse prato: