Re: [isabelle] Isabelle style guide - Part 2



On 30.05.2015 03:03, Gerwin Klein wrote:
> As promised, part 2 of the Isabelle style guide:
> 
> http://proofcraft.org/blog/isabelle-style-part2.html
> 
> Feedback for the first part was great, keep it coming!

For the context section, maybe mention bundles? You may need to open a
context with the individualized setup multiple times.

  -- Lars





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