<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2017-05-17 17:34 GMT+02:00 Joe Leslie-Hurd <span dir="ltr"><<a href="mailto:joe@gilith.com" target="_blank">joe@gilith.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Hi Francois,<br>
<br>
Yes, the dictionary is the mechanism for reusing objects (including<br>
theorems) in an article file.<br>
<br>
To address your question about naming theorems, the article format is<br>
intended to be written and read by tools, not humans, so there is no<br>
need for a human-readable name. To bridge the gap an article compiler<br>
must create a mapping from human-readable names to integers<br>
(dictionary keys). <br></div></blockquote><div><br></div><div>Thanks for your answer. But how in OT, is it possible to give a name to a theorem proved in an article file?<br><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":13l" class="a3s aXjCH m15c170bc3bd99792">
Cheers,<br>
<br>
Joe</div></blockquote></div><br><br></div></div>