Is there a repository of opentheory articles anywhere? The only ones I've seen so far are in the test directory of the opentheory package. Have you seen the hol-online project? http://code.google.com/p/hol-online/ I'm not sure how theories are going to be stored there, but maybe we should try to mirror it at least in opentheory.