/

• .gitignore
• Compare.hs
• Concat.hs
• Delete.hs
• GeneratorTest.hs
• Library
• ListThm.hs
• MeaningSubst.hs
• ProofGraphMain.hs
• README
• SemanticMain.hs
• Syntactic.hs
• TermNetTest.hs
• Test.hs
• Test
• WriteProofMain.hs
• bin
• makefile
• test.sh
• writetest.hs