summaryrefslogtreecommitdiff
path: root/src
ModeNameSize
-rw-r--r--Compare.hs1536logplain
-rw-r--r--Concat.hs344logplain
-rw-r--r--Delete.hs562logplain
-rw-r--r--GeneratorTest.hs234logplain
d---------Library622logplain
-rw-r--r--ListThm.hs1308logplain
-rw-r--r--MeaningSubst.hs6703logplain
-rw-r--r--ProofGraphMain.hs256logplain
-rw-r--r--SemanticMain.hs243logplain
-rw-r--r--Syntactic.hs1195logplain
-rw-r--r--TermNetTest.hs640logplain
-rw-r--r--Test.hs7436logplain
d---------Test40logplain
-rw-r--r--WriteProofMain.hs300logplain