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.


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