Re: [isabelle] how to rewrite rule_tac x="A" in exI as tactic? (fwd)



Thank you.
i will give the terms a try.




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