[declare].
'Command example:       CHECK|: declare.'.
''.
'This command allows the user to make new declarations for use in the proof'.
'attempt.  Any valid declaration which might appear in a .FDL file may be'.
'used.  The declaration will be prompted for, and must be typed in FDL'.
'syntax, terminated by a ";".'.
