Re: [isabelle] prove set (tl L) ⊆ set L



That statement may not be true, unless you add an hypothesis that L is not
empty. (It depends on how tl is defined.)

The result should then follow easily by induction on L.


On Thu, May 23, 2013 at 5:46 PM, Roger H. <s57076 at hotmail.com> wrote:

> Hello!
>
>
> how can i prove this result:
>
>
> lemma "set (tl L) ⊆ set L"
>
>
> Thank you!
>



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