[Voted into the WP at the March, 2011 meeting.]

Proposed resolution (January, 2011):

Change the grammar in 9.5.1 [dcl.fct.def.general] paragraph 1 as follows:

function-definition:
attribute-specifier-seq_opt decl-specifier-seqopt declarator function-body
attribute-specifier-seq_opt decl-specifier-seqopt declarator = default ;
attribute-specifier-seq_opt decl-specifier-seqopt declarator = delete ;

function-body:
ctor-initializer_opt compound-statement
function-try-block
= default ;
= delete ;

According to 6.3 [basic.def.odr] paragraph 2,

A declaration is a definition unless it declares a function without specifying the function's body (9.5 [dcl.fct.def]), it contains the extern specifier (9.2.2 [dcl.stc]) or a linkage-specification²⁵ (9.11 [dcl.link]) and neither an initializer nor a function-body...

Because = delete and = default are not forms of function-body, this description does not cover defaulted and deleted functions, even though these declarations are elsewhere referred to as being definitions.