Size Modified ../ Directory 10.06.2002 Abstract.hs 1.961 10.06.2002 Abstract_Eq.hs 221 10.06.2002 Abstract_Ord.hs 782 10.06.2002