Re: [isabelle] Isabelle and Beamer

Thanks to everyone who responded to my request on incorporating Isabelle theories into Beamer! I'm now starting to experiment with the various approaches.

All the best,

On Dec 8, 2008, at 5:08 PM, John Matthews wrote:


I'm thinking of trying out the Beamer class to make some LaTeX slides containing selected definitions and lemmas from some of my Isabelle theory files. Does anyone have some advice on the best way to go about this?


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