[mizar] referring to local files's constructors, theorems, etc

[Jesse Alama <alama@stanford.edu>]

I'm working on splitting up a big MIZAR article into some smaller
articles.  After I cut the original big article into pasted them into
a fresh article, I changed the various environments in the original
big file to the new smaller file.  But when I try to verify the old
file I get errors like

*805: Cannot find definitions file

and

*806: Cannot find theorems file

I've run the new file successfully through the verifier; it looks like
something else is needed.  How can I get rid of these errors?

Thanks,

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*116: Invalid "qua" (http://www.mizar.org)