From 6381f3a9987f44c4c827ab2c9033519f191a2cce Mon Sep 17 00:00:00 2001 From: peb Date: Fri, 4 Feb 2005 09:10:28 +0000 Subject: "Committed_by_peb" --- src/GF/Data/OrdSet.hs | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'src/GF/Data/OrdSet.hs') diff --git a/src/GF/Data/OrdSet.hs b/src/GF/Data/OrdSet.hs index 8761b2176..79393a892 100644 --- a/src/GF/Data/OrdSet.hs +++ b/src/GF/Data/OrdSet.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + {- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Filename: OrdSet.hs Author: Peter Ljunglöf -- cgit v1.2.3