Re: [isabelle] stuck on proof



On Fri, Aug 20, 2010 at 03:10:30PM +0200, Makarius wrote:
>
> Included is my result of playing a little with your theory.  I have  
> started with the 2-liner by Tobias and tried to reconstruct the reasing  
> behind it.

Fantastic, thanks! I'll have a play with it.


Thanks
Ian






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