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 

    $ISABELLE_HOME/src/Doc/Tutorial/Ifexpr/Ifexpr.thy

-- 
cmr
+610481762084
http://octayn.net/

Attachment: signature.asc
Description: PGP signature



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