Re: [isabelle] Type restrictions; document preparation [Re: Started auction theory toolbox; announcement, next steps, and questions]

On Thu, 1 Nov 2012, Christoph LANGE wrote:

So far we haven't bothered to generate a document from our formalisation, but I agree that we should soon do. I see that chapter 4.2 of the Tutorial also documents this. So I should learn how to do it.

In addition, see

    Chapter 3: Presenting theories

    Chapter 4: Document preparation


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