summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Command.hs5104logplain
-rw-r--r--Object.hs2485logplain
-rw-r--r--Parse.hs1125logplain
-rw-r--r--ProofGraph.hs4136logplain
-rw-r--r--ProofGraphMain.hs228logplain
-rw-r--r--README0logplain
-rw-r--r--Semantic.hs9578logplain
-rw-r--r--Stack.hs588logplain
-rw-r--r--Syntactic.hs1161logplain
-rw-r--r--Term.hs6491logplain
-rw-r--r--Test.hs8073logplain
-rw-r--r--Theorem.hs329logplain
-rw-r--r--TypeVar.hs1528logplain
-rw-r--r--WriteProof.hs5492logplain
-rw-r--r--WriteProofMain.hs374logplain