[isabelle] subst question



I find myself with the following subgoal:

   !! a b. a = ?y31 (a,b)

How do I tell Isabelle to replace ?y31 with "fst" so that simp will solve the goal?

Thanks,
- Reto






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.