@@ -37,9 +37,9 @@ prover lit x =
38showProof :: Bool -> Name -> [String] -> String
38showProof :: Bool -> Name -> [String] -> String
39showProof lit n ps
39showProof lit n ps
40− = bird ++ show n ++ " = proof {" ++ break ++
40+ = bird ++ show n ++ " = proof" ++ break ++
41− showSep break (map (\x -> " " ++ x ++ ";") ps) ++
41+ showSep break (map (\x -> " " ++ x) ps) ++
42− break ++ "}\n"
42+ break ++ "\n"
43 where bird = if lit then "> " else ""
43 where bird = if lit then "> " else ""
44 break = "\n" ++ bird
44 break = "\n" ++ bird