Re: [isabelle] Print proof of theorem



Works perfectly fine!
Thanks.

Diego
> From: Tim (McKenzie) Makarios [mailto:tjm1983 at gmail.com]
> For my Master's thesis, I had some success using the technique suggested
by this page:https://isab
> elle.in.tum.de/community/Generate_TeX_Snippets
> Tim
> <><







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