These are the accompanying files for the paper "Matching concepts across formal mathematical libraries" submitted to CICM'2014. The exported theorem and constant data from the proof assistants are in the 'data' subdirectory. The results for matching inside one library are in the 'patterns' directory. These correspond to tables 2 and 3 in the paper. Here are the titles of each column: Pattern name | Number of theorems | Number of constants | Pattern And results of our cross-library experiments are in 'results'. These correspond to tables 6 and 7 in the paper. Here are the titles of each column: Constant 1 | Constant 2 | Number of common patterns | Number of patterns involving constant 1 | Number of patterns involving constant 2 | Similarity score