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



On 05/23/2013 06:46 PM, Roger H. wrote:
Hello!


how can i prove this result:


lemma "set (tl L) ⊆ set L"
by (induction L) auto





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