Sets

A more or less useful collection of functions for sets

Signature of Sets

List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
See Option
See Seq
See Set
See SetConv
See SetFilter
See SetFold
See SetMap
See SetMapEnv
See SetOfSet
See SetReduce
See String

SIGNATURE Sets

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT 
       Set COMPLETELY 
       SetConv COMPLETELY
       SetFilter COMPLETELY
       SetFold COMPLETELY
       SetMap COMPLETELY
       SetMapEnv COMPLETELY
       SetOfSet COMPLETELY
       SetReduce COMPLETELY

next node: Set,
prev node: SetOfSet,
up to node: Subsystem Sets Proper