*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Verify the legitimacy of a proof?*From*: Manuel Eberl <eberlm at in.tum.de>*Date*: Sat, 8 Jul 2017 15:06:29 +0100*In-reply-to*: <9ae5242a-bc36-4e6a-a131-65b880f5e86d@in.tum.de>*References*: <CADYF24fBE5-wFje-T9-z2c9Um4ZGf1y+ukaSiDi3EPa9uRBEaw@mail.gmail.com> <CAGbqCMxFwASJH4ympZ589fVua9-kX0qs4K-HAb1z5XgSPg2=Bw@mail.gmail.com> <CAASQnwOXcZsZJ4YyoTUDXxTeZHXbLoic=fhJ5XmmE9Gv9eWmvw@mail.gmail.com> <17fc53a1-ef75-ac0b-4e7b-0a9dca6fa918@in.tum.de> <929c1a87-2f1d-0d6c-864c-b167c47f6c7f@sketis.net> <9ae5242a-bc36-4e6a-a131-65b880f5e86d@in.tum.de>*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1

> I am sure Manuel meant no disrespect. No doubt you were aware of this > behaviour from the start. Indeed I only wanted to stress that I was definitely not the one to discover this behaviour and that it has been well-known for some time, and that I do not know anything beyond that. Manuel

**References**:**[isabelle] Verify the legitimacy of a proof?***From:*scott constable

**Re: [isabelle] Verify the legitimacy of a proof?***From:*C. Diekmann

**Re: [isabelle] Verify the legitimacy of a proof?***From:*Simon Wimmer

**Re: [isabelle] Verify the legitimacy of a proof?***From:*Manuel Eberl

**Re: [isabelle] Verify the legitimacy of a proof?***From:*Makarius

**Re: [isabelle] Verify the legitimacy of a proof?***From:*Tobias Nipkow

- Previous by Date: Re: [isabelle] Verify the legitimacy of a proof?
- Next by Date: Re: [isabelle] Verify the legitimacy of a proof?
- Previous by Thread: Re: [isabelle] Verify the legitimacy of a proof?
- Next by Thread: Re: [isabelle] Verify the legitimacy of a proof?
- Cl-isabelle-users July 2017 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