/proofsearch/.cache/clangd/index/

• ../
• clausifier.cpp.9FD5A8E503FCC1D9.idx
• discrim_tree.cpp.E42DE863D5277544.idx
• main.cpp.E859CA8999ADDE12.idx
• proof_trace.cpp.1C59D7C4E2AA6F75.idx
• prover.cpp.3C0A611D8081F4D2.idx
• resolution.cpp.DB2A5A3C44A70C4B.idx
• subsumption.cpp.6D5F5B98AE9124E8.idx
• symbol_table.cpp.685747B6B16C64EF.idx
• term_bank.cpp.943AA1306E763CC8.idx
• test_clausifier.cpp.FF3EDB07B9DFBBC1.idx
• test_discrim_tree.cpp.9508FB8B5A477D10.idx
• test_prover.cpp.604919AAC374F32C.idx
• test_resolution.cpp.E785AA54A14F55A5.idx
• test_term_bank.cpp.50AF7E4F3359B770.idx
• test_unification.cpp.BA63AEE14AACBCCC.idx
• tptp_parser.cpp.50E69F3F47D54605.idx
• unification.cpp.FAE8F2832CAC7DB0.idx