[isabelle] Antwort: Coinductive_List and LList/LFilter



Wow, the theory covers 27 DIN A4 pages. Is there a way of decomposition 
and plausification of the proof/theorems?
Jens

> ----- Nachricht von Andreas Lochbihler <lochbihl at ipd.info.uni-
> Re: [isabelle] Coinductive_List and LList/LFilter
> .... 






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