summaryrefslogtreecommitdiff
path: root/Library
ModeNameSize
-rw-r--r--Command.hs5152logplain
-rw-r--r--Generator.hs1712logplain
-rw-r--r--GraphPart.hs3938logplain
-rw-r--r--Object.hs2517logplain
-rw-r--r--Parse.hs1392logplain
-rw-r--r--ProofGraph.hs5093logplain
-rw-r--r--Semantic.hs9593logplain
-rw-r--r--Stack.hs596logplain
-rw-r--r--Term.hs6507logplain
-rw-r--r--TermNet.hs4184logplain
-rw-r--r--Theorem.hs353logplain
-rw-r--r--TypeVar.hs1626logplain
-rw-r--r--WriteProof.hs9864logplain