*To*: Isabelle User <isabelle-users at cl.cam.ac.uk>*Subject*: [isabelle] from thy to latex*From*: Michel via Cl-isabelle-users <cl-isabelle-users at lists.cam.ac.uk>*Date*: Tue, 28 Feb 2017 18:47:34 +0100*Reply-to*: Michel <michel.levy2009 at laposte.net>*User-agent*: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Thunderbird/45.7.0

How to obtain a tex file from a thy file ?

-- courriel : michel.levy2009 at laposte.net

**Follow-Ups**:**Re: [isabelle] from thy to latex***From:*Makarius

- Previous by Date: Re: [isabelle] newbie: Binomial extensions
- Next by Date: Re: [isabelle] from thy to latex
- Previous by Thread: [isabelle] Marktoberdorf Summer School: Call for Participation
- Next by Thread: Re: [isabelle] from thy to latex
- Cl-isabelle-users February 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