[additional inspector function for Hypotheses
martin.hofmann@uni-bamberg.de**20091020100512] hunk ./src/Data/Hypotheses.hs 7
+    isFinished,
hunk ./src/Data/Hypotheses.hs 83
+isFinished :: Hypo -> Bool
+isFinished = S.null . open
+