Re: [isabelle] Tactic for Eliminating Parameters Wanted ...



Hi Burkhart,

> is there any way to actually eliminate a parameter or a goal ? 

This works for me:

    apply (simp only: triv_forall_equality)

Cheers,

Jasmin





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