<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Aug 5, 2013 at 11:49 PM, Alexander Krauss <span dir="ltr"><<a href="mailto:krauss@in.tum.de" target="_blank">krauss@in.tum.de</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


The opentheory tool post-processes articles extracted from theorem<br>
provers, for compression and neatness purposes. To that end it does<br>
both of the things you call out.<br>
</blockquote>
<br></div>
Which command do I have to run to get this?<br></blockquote><div><br></div><div>Install opentheory as per <a href="http://www.gilith.com/software/opentheory/install.html">http://www.gilith.com/software/opentheory/install.html</a>.<br>

</div><div>Then run it like:<br></div><div>  opentheory info --article --output processed.art input.art<br></div></div></div></div>