A more or less useful collection of functions for bags
List of Import References :
See BOOL
See Bag
See BagConv
See BagFilter
See BagFold
See BagMap
See BagReduce
See Char
See DENOTATION
See Nat
See Option
See Pair
See Seq
See String
SIGNATURE Bags
$Date: 1998/06/16 16:00:02 $ ($Revision: 1.1.1.1 $)
IMPORT Bag COMPLETELY BagConv COMPLETELY BagFilter COMPLETELY BagFold COMPLETELY BagMap COMPLETELY BagReduce COMPLETELY
next node: Bag,
prev node: BagReduce,
up to node: Subsystem Bags