*To*: "Isabelle" <cl-isabelle-users at lists.cam.ac.uk>*Subject*: [isabelle] Print proof of theorem*From*: "Diego Marmsoler" <marmsoler_diego at yahoo.it>*Date*: Thu, 25 Oct 2012 12:33:36 +0200*Thread-index*: Ac2ym6MV1GKcD4vkSluJZwJkD0jOwA==

Hi to all, I'm rather new to Isabelle and I'm currently writing my Master's Thesis using Isabelle/Isar and the document preparation system. I was wondering if there is a way to print out a theorem with its proof using antiquotations of the Isabelle document preparation system. I'm asking because what I want is to hide the proofs initially and show only the theorems and put the proofs then in the appendix at the end of the document. Thanks. Diego

**Follow-Ups**:**Re: [isabelle] Print proof of theorem***From:*Florian Haftmann

- Previous by Date: Re: [isabelle] rewr_conv
- Next by Date: [isabelle] An ATP question
- Previous by Thread: Re: [isabelle] BUG in conv.ML: rewr_conv and then_conv fail due to beta-normalization issue
- Next by Thread: Re: [isabelle] Print proof of theorem
- Cl-isabelle-users October 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