[renaming, organise exports, changed map sig
martin.hofmann@uni-bamberg.de**20081127103938] hunk ./src/Data/HypoSpace.hs 4
-    HSpace, initHSpace, insert, delete, 
+    HSpace, initHSpace,setupHSpace, insert, delete, 
hunk ./src/Data/HypoSpace.hs 59
-emptyHSpace :: HSpace
-emptyHSpace = HSpace 
+setupHSpace :: HSpace
+setupHSpace = HSpace 
hunk ./src/Data/HypoSpace.hs 68
-initHSpace = flip insert emptyHSpace
+initHSpace = flip insert setupHSpace
hunk ./src/Data/Hypotheses.hs 142
-map :: (Hypo -> Hypo) -> Hypos -> Hypos
-map f hs  = HHs $ (S.map f) (unHHs hs)
+map :: (Ord a) => (Hypo -> a) -> Hypos -> (Set a)
+map f hs  = (S.map f) (unHHs hs)
hunk ./src/Data/Hypotheses.hs 171
+ 