*To*: "Yannick Duchêne (Hibou57)" <yannick_duchene at yahoo.fr>*Subject*: Re: [isabelle] Isabelle/Isar/HOL TeX logo*From*: Alexander Krauss <krauss at in.tum.de>*Date*: Sun, 12 Aug 2012 14:23:01 +0200*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <op.wiw0zzsyule2fv@douda-yannick>*References*: <op.wiw0zzsyule2fv@douda-yannick>*User-agent*: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.16) Gecko/20120613 Icedove/3.0.11

On 08/12/2012 08:44 AM, Yannick Duchêne (Hibou57) wrote:

I was looking for a nice Isabelle/Isar and HOL logo in TeX, and as I could not find any existing (or did I missed it?),

[...]

Alex

**Follow-Ups**:**Re: [isabelle] Isabelle/Isar/HOL TeX logo***From:*Jasmin Blanchette

**References**:**[isabelle] Isabelle/Isar/HOL TeX logo***From:*Yannick Duchêne (Hibou57)

- Previous by Date: Re: [isabelle] New nat induct rule in Cong.thy
- Next by Date: Re: [isabelle] Isabelle/Isar/HOL TeX logo
- Previous by Thread: Re: [isabelle] Isabelle/Isar/HOL TeX logo
- Next by Thread: Re: [isabelle] Isabelle/Isar/HOL TeX logo
- Cl-isabelle-users August 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