List of Import References :
See BOOL
See DENOTATION
SIGNATURE Pair [data1,data2]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- pair constructor SORT data1 data2 TYPE pair == & (1st: data1, 2nd: data2 ) FUN unpair : pair -> data1 ** data2 -- & o unpair = id
next node: Quadruple,
prev node: AnonTriple,
up to node: Subsystem ProductLike