/
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
writetest.hs