@@ -32,7 +32,7 @@ prover lit x =
32showProof :: Bool -> Name -> [String] -> String
32showProof :: Bool -> Name -> [String] -> String
33showProof lit n ps
33showProof lit n ps
34 = bird ++ show n ++ " = proof {" ++ break ++
34 = bird ++ show n ++ " = proof {" ++ break ++
35− showSep break (map (\x -> " " ++ x ++ ";") ps) ++
35+ showSep break (map (\x -> " " ++ x ++ ";") ps) ++
36 break ++ "}\n"
36 break ++ "}\n"
37 where bird = if lit then "> " else ""
37 where bird = if lit then "> " else ""
38 break = "\n" ++ bird
38 break = "\n" ++ bird