A mercurial repository with my OpenTheory importer for Isabelle is available online: http://www4.in.tum.de/~huffman/cgi-bin/repos.cgi/OpenTheory You should be able to use "hg clone" with the same url to download a copy of everything. The importer is tested with Isabelle version 2011-1. - Brian