[opentheory-users] What's behind the article merging function

[Robert White]

Dear Joe,

I wonder what's behind OpenTheory when it's merging two or more article
files together. Is there any optimization?

By the way, for HOL Light, is there any function I can tell which thm is in
which article file after exporting?


Thanks a lot!

-- 

Regards,
Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
[Moving to ILLC of UvA from this Sep to continue my masters. ]
[New email address will be shuai.wang at student.uva.nl]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150709/ae47a327/attachment.html>