[isabelle] Embeding theories in existing latex document


i have a separate latex document where i want to present my theories, and want to extract some of the definitions and proofs out of my isabelle scripts and embed them into my document.

Is this somehow possible. I have only seen it the other way round embedding latex code into the isabelle documents.

Es grüßt Sie freundlich/best regards,
	Martin Klebermaß

martin at klebermass.de
Tramstr. 107
CH-5034 Suhr

Fuchsbergstr. 11
D-82223 Eichenau

Mobil(DE): +49 (0) 176 / 70073282
Telefon(DE): +49 (0) 8141 / 509040
Mobil(CH): +41 (0) 79 / 7870352
Telefon(CH): +41 (0) 32 / 5107586


Attachment: smime.p7s
Description: S/MIME cryptographic signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.