Re: [isabelle] Question to "lemmas" - instruction



On Tuesday 27 March 2007 23:59, Amine Chaieb wrote:
> You can use
>
> lemmas a_prime = two_prime [unfolded a_def[symmetric]]
>
> Amine.

Equivalently, you can use
  lemmas a_prime = two_prime [folded a_def]

- Brian





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