Matita Home
case id (id:t)list
Synopsis:
case
id
(
id
:
term
)
Pre-condition:
Da Fare
Action:
Da Fare
New sequents to prove:
Da Fare