<div dir="ltr">Dear Joe,<div><br></div><div>I have problem importing article files. For example:</div><div>







<p class=""><span class="">Failure</span></p>
<p class=""><span class=""> "in article word10.art at line 7495: defineConst\nstack = [Term; \"Number.Modular.equivalent\"; Term; Var; Term; Var; []; \"HOLLight.modular_to_class\"; \"HOLLight.modular_from_class\"; \"Data.Word10.word10\"; TypeOp<fun>; TypeOp<fun>; Const<!>]\nunknown constant \"Number.Modular.equivalent\"".</span></p><p class="">I also have problems with the following packages:<br></p><p class="">natural-prime</p><p class="">gfp</p><p class="">natural-fibonacci<br></p><p class="">Could you please check if that is because opentheory packages got updated but the int files haven't?</p><p class="">Thanks a lot.<br></p><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><br></div><div>Regards,</div><div>Robert </div><div><br></div><div>New homepage at Github: <a href="https://airobert.github.io/" target="_blank">https://airobert.github.io/</a><br></div><div><span style="font-size:12.8px">New email address at ILLC: </span><a href="mailto:shuai.wang@student.uva.nl" style="font-size:12.8px" target="_blank">shuai.wang@student.uva.nl</a><br></div><div><span style="font-size:12px;line-height:20px">Carolina MacGillavrylaan </span><span style="font-size:12px;line-height:20px">2246</span><span style="font-size:12px;line-height:20px"> , 1098 XK AMSTERDAM  HP: </span><span style="color:rgb(20,24,35);font-family:helvetica,arial,sans-serif;font-size:13px;line-height:17.94px;white-space:pre-wrap">0652691901</span><br></div><div><br></div></div></div></div></div></div></div></div></div></div></div></div>
</div></div>