*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: [isabelle] Trying to reduce equality proofs from 2 to 1 step*From*: Gottfried Barrow <gottfried.barrow at gmx.com>*Date*: Wed, 27 Feb 2013 03:33:24 -0600*User-agent*: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312 Thunderbird/11.0

Hi,

If anyone can tell me how to do that, I'd appreciate it. Regards, GB

**Attachment:
sTs_doc.pdf**

**Follow-Ups**:**Re: [isabelle] Trying to reduce equality proofs from 2 to 1 step***From:*Gottfried Barrow

**Re: [isabelle] Trying to reduce equality proofs from 2 to 1 step***From:*Lars Noschinski

- Previous by Date: Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")
- Next by Date: Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")
- Previous by Thread: [isabelle] Updating to a previous Document.Version using Isabelle/Scala
- Next by Thread: Re: [isabelle] Trying to reduce equality proofs from 2 to 1 step
- Cl-isabelle-users February 2013 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