/source/

• ../
• Api.hs
• Base.hs
• Checking.hs
• Checking
• CommandLine.hs
• Data
• Encoding.hs
• Filter.hs
• Meaning.hs
• Megalodon.hs
• Provers.hs
• Report
• Serial.hs
• StructGraph.hs
• Syntax
• Test
• TheoryGraph.hs
• Tptp
• Version.hs