*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: [isabelle] proof state into latex*From*: Giampaolo Bella <giamp at dmi.unict.it>*Date*: Sat, 01 Oct 2011 15:32:07 +0200*User-agent*: Internet Messaging Program (IMP) H4 (5.0.8)

Hi all,

Thanks! -- Giamp

**Follow-Ups**:**Re: [isabelle] proof state into latex***From:*Alfio Martini

- Next by Date: Re: [isabelle] proof state into latex
- Next by Thread: Re: [isabelle] proof state into latex
- Cl-isabelle-users October 2011 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