List of Import References :
See BOOL
See DENOTATION
SIGNATURE Void
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- empty sort TYPE void == nil
next node: Basics,
prev node: Subrel,
up to node: Subsystem BasicTypes