summaryrefslogtreecommitdiff
path: root/src/Library
ModeNameSize
-rw-r--r--Command.hs5355logplain
-rw-r--r--Cost.hs502logplain
-rw-r--r--Generator.hs1794logplain
-rw-r--r--GraphPart.hs4325logplain
-rw-r--r--Object.hs2505logplain
-rw-r--r--Parse.hs1360logplain
-rw-r--r--ProofGraph.hs5066logplain
-rw-r--r--Semantic.hs9624logplain
-rw-r--r--Stack.hs838logplain
-rw-r--r--Term.hs6143logplain
-rw-r--r--TermNet.hs5667logplain
-rw-r--r--Theorem.hs372logplain
-rw-r--r--TypeVar.hs2067logplain
-rw-r--r--Usage.hs2324logplain
-rw-r--r--WriteProof.hs8106logplain
-rw-r--r--alternate_multi_command.hs16261logplain