Re: Two questions

[Christoph Grein <christoph.grein@eurocopter.de>]

package something_cool is

    type cool is tagged private;
    
    function Create (P: in Some_Parameters) return Cool;    -- gets abstract on
                                                            -- derivation
    procedure Create (c : out cool; P: in Some_Parameters); -- does not get
                                                            -- abstract on
                                                            -- derivation
    package constructor is  -- nothing inside will be inherited

        procedure create (c : out cool; ... ... );

    end constructor;

private
        ...

end something_cool;

Thus make your choice. As Randy said, you can end with a bunch of useless 
constructors with the inherited ones.