/proofsearch/grammar/

• ../
• TPTP.g4