Index   Zurück   Fenster schliessen	formal_ordinary_fixed_point_definition formal_ordinary_fixed_point_definition ::= delta <> siehe LRM 12.5.2 wird genutzt von: formal_type_definition