Re: [isabelle] difficulty with a tutorial example

On Sat, Mar 19, 2016 at 01:19:56AM -0500, n s wrote:
> Any ideas why its stuck?

You may find it useful to compare your theory to the theory the tutorial is
generated from. This is present in 



Attachment: signature.asc
Description: PGP signature

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