/
Concat.hs
Delete.hs
Library
ListThm.hs
MeaningSubst.hs
ProofGraphMain.hs
README
SemanticMain.hs
Syntactic.hs
Test.hs
Test
WriteProofMain.hs
makefile