[opentheory-users] Multiple definitions in base package
Rob Arthan
rda at lemma-one.com
Tue Mar 18 14:56:30 UTC 2014
I just installed the latest version of the base package and did:
opentheory info —article —output base.art base
The resulting article file contains multiple definitions of various constants in the HOLLight namespace.
E.g., HOLLight.NUMSUM.
Regards,
Rob.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20140318/b09db01f/attachment.html>
More information about the opentheory-users
mailing list