*To*: Tobias Nipkow <nipkow at in.tum.de>*Subject*: Re: [isabelle] Title of "Programming and Proving" [Re: ?spam? Re: Simpler theorem statements, and proofs for them]*From*: Makarius <makarius at sketis.net>*Date*: Fri, 23 Nov 2012 15:07:10 +0100 (CET)*Cc*: Christoph LANGE <c.lange at cs.bham.ac.uk>, cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <50AF7C92.60706@in.tum.de>*References*: <50916DB3.4030707@cs.bham.ac.uk> <B342CF2B-EEC3-4932-A98D-193702F57A14@cam.ac.uk> <5091CE53.6020006@cs.bham.ac.uk> <C76381F2-5127-48DF-B198-DE2B3AABEAB1@cam.ac.uk> <50AE3314.8060002@cs.bham.ac.uk> <50AE374C.9070402@in.tum.de> <50AE4F92.6080702@cs.bham.ac.uk> <50AF1DD3.5090702@in.tum.de> <50AF54BF.1000606@cs.bham.ac.uk> <50AF7C92.60706@in.tum.de>*User-agent*: Alpine 2.00 (LNX 1167 2008-08-23)

On Fri, 23 Nov 2012, Tobias Nipkow wrote:

However, there is a small linguistic point, which you may or may nothave intended to make: "Miscellaneous" material usually comes at theend. These are "Tutorials", no qualification. The next subsection isn'tcalled "Miscellaneous Reference Manuals" either, and the whole sectionis called "Tutorials and manuals". Makarius, could you drop the"Miscellaneous", please?

Makarius

**References**:**[isabelle] Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]***From:*Christoph LANGE

**Re: [isabelle] Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]***From:*Lawrence Paulson

**Re: [isabelle] Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]***From:*Christoph LANGE

**Re: [isabelle] Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]***From:*Tobias Nipkow

**Re: [isabelle] ?spam? Re: Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]***From:*Christoph LANGE

**Re: [isabelle] ?spam? Re: Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]***From:*Tobias Nipkow

**[isabelle] Title of "Programming and Proving" [Re: ?spam? Re: Simpler theorem statements, and proofs for them]***From:*Christoph LANGE

**Re: [isabelle] Title of "Programming and Proving" [Re: ?spam? Re: Simpler theorem statements, and proofs for them]***From:*Tobias Nipkow

- Previous by Date: Re: [isabelle] Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]
- Next by Date: Re: [isabelle] Feature suggestions: More useful output
- Previous by Thread: Re: [isabelle] Title of "Programming and Proving" [Re: ?spam? Re: Simpler theorem statements, and proofs for them]
- Next by Thread: Re: [isabelle] Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]
- Cl-isabelle-users November 2012 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list