[opentheory-users] Error loading articles

[Robert White]

Dear Joe,

I have problem importing article files. For example:

Failure

 "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\"".

I also have problems with the following packages:

natural-prime

gfp

natural-fibonacci

Could you please check if that is because opentheory packages got updated
but the int files haven't?

Thanks a lot.

-- 

Regards,
Robert

New homepage at Github: https://airobert.github.io/
New email address at ILLC: shuai.wang at student.uva.nl
Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM  HP: 0652691901
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20151004/3bb1a87a/attachment.html>