*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Another newbie question...case-based proofs*From*: Wolfgang Jeltsch <wolfgang-it at jeltsch.info>*Date*: Wed, 13 Mar 2019 21:19:35 +0200*In-reply-to*: <1552409215.1916.12.camel@in.tum.de>*References*: <CAJ=ZMJK4d0xDP4ULTqEFWwXcHdfPN4yLVqRdPV_nht9VHAWbkQ@mail.gmail.com> <2315a38013d645bfa7ed4a7a37948817@chalmers.se> <D296D69F59ADF247B47C452A21D6ED2314142FD6@XMBX3.uibk.ac.at> <1552327215.3710.8.camel@in.tum.de> <9be127f9-1d5c-9673-3720-e82e46db1e21@gmail.com> <1552407330.8237.61.camel@jeltsch.info> <1552409215.1916.12.camel@in.tum.de>

Am Dienstag, den 12.03.2019, 16:46 +0000 schrieb Peter Lammich: > The one [completion] on quotation marks was introduced to remember the > user that cartouches should be used where possible, instead of quots. This is the first time I hear that inner syntax parts can be enclosed by cartouches instead of quotation marks. That also backquotes can be replaced by cartouches was something I learned only after using Isabelle for several months. Could the `prog-prove` tutorial be updated to reflect these new conventions? I think this tutorial is the best document to get into Isabelle and consequently should be up to date. All the best, Wolfgang

**References**:**[isabelle] Another newbie question...case-based proofs***From:*John F. Hughes

**Re: [isabelle] Another newbie question...case-based proofs***From:*Thomas Sewell

**Re: [isabelle] Another newbie question...case-based proofs***From:*Nagashima, Yutaka

**Re: [isabelle] Another newbie question...case-based proofs***From:*Peter Lammich

**Re: [isabelle] Another newbie question...case-based proofs***From:*Christian Sternagel

**Re: [isabelle] Another newbie question...case-based proofs***From:*Wolfgang Jeltsch

**Re: [isabelle] Another newbie question...case-based proofs***From:*Peter Lammich

- Previous by Date: [isabelle] FTfJP 2019: Call for Papers
- Next by Date: [isabelle] New in the AFP: Safe OCL
- Previous by Thread: Re: [isabelle] Another newbie question...case-based proofs
- Next by Thread: Re: [isabelle] Another newbie question...case-based proofs
- Cl-isabelle-users March 2019 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