[isabelle] Embeding theories in existing latex document



Hello,

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
============================
Schweiz:
Tramstr. 107
CH-5034 Suhr

Deutschland:
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.