/
.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
license.txt
makefile
test.sh
writetest.hs