case id (id:t)list

Synopsis:

case id ( id : term )

Pre-condition:

Da Fare

Action:

Da Fare

New sequents to prove:

Da Fare