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

  * http://isabelle.in.tum.de/dist/Isabelle2012/doc/system.pdf
    Chapter 3: Presenting theories

  * http://isabelle.in.tum.de/dist/Isabelle2012/doc/isar-ref.pdf
    Chapter 4: Document preparation


	Makarius





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