[prettier printed Hypos
martin.hofmann@uni-bamberg.de**20090623024359] hunk ./src/Data/Hypotheses.hs 62
-	pretty (HH o c cs) = text "Hypo" <>  parens (
-						 align $ --indent 2 $
-						 text "open:" <+> pretty o <$> 
-						 text "closed:" <+> pretty c <$> 
-						 text "callings:" <+> pretty cs)
-						 
+	pretty h@(HH o c cs) = align $ text "Hypo:" <+> indent 2 (
+						 vsep . (map pretty) . rules2decs . allBindings $ h
+--						 text "open:" <+> pretty o <$> 
+--						 text "closed:" <+> pretty c <$> 
+--						 text "callings:" <+> pretty cs
+						 )
hunk ./src/Data/Rules.hs 14
-    LHS, RHS, hypos2decs,
+    LHS, RHS, hypos2decs, rules2decs,