summaryrefslogtreecommitdiff
path: root/Library
ModeNameSize
-rw-r--r--Command.hs5152logplain
-rw-r--r--Generator.hs1712logplain
-rw-r--r--GraphPart.hs3936logplain
-rw-r--r--Object.hs2517logplain
-rw-r--r--Parse.hs1392logplain
-rw-r--r--ProofGraph.hs5093logplain
-rw-r--r--Semantic.hs9632logplain
-rw-r--r--Stack.hs788logplain
-rw-r--r--Term.hs6316logplain
-rw-r--r--TermNet.hs5705logplain
-rw-r--r--Theorem.hs353logplain
-rw-r--r--TypeVar.hs2067logplain
-rw-r--r--WriteProof.hs9864logplain