simonmar 2002/05/09 06:09:30 PDT Modified files: libraries/base/Data Set.hs Log: singletonSet has been deprecated for a while; remove it now Revision Changes Path 1.4 +0 -4 fptools/libraries/base/Data/Set.hs