diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
new file mode 100644
index bb794e0..5e3d54f
*** a/doc/src/sgml/func.sgml
--- b/doc/src/sgml/func.sgml
*************** SELECT date_trunc('year', TIMESTAMP '200
*** 8082,8091 ****
     </indexterm>
  
     <para>
!     The <literal>AT TIME ZONE</literal> construct allows conversions
!     of time stamps to different time zones.  <xref
!     linkend="functions-datetime-zoneconvert-table"/> shows its
!     variants.
     </para>
  
      <table id="functions-datetime-zoneconvert-table">
--- 8082,8092 ----
     </indexterm>
  
     <para>
!     The <literal>AT TIME ZONE</literal> converts time
!     stamp <emphasis>without time zone</emphasis> to/from
!     time stamp <emphasis>with time zone</emphasis>, and
!     <emphasis>time</emphasis> values to different time zones. <xref
!     linkend="functions-datetime-zoneconvert-table"/> shows its variants.
     </para>
  
      <table id="functions-datetime-zoneconvert-table">
*************** SELECT TIMESTAMP '2001-02-16 20:38:40' A
*** 8145,8153 ****
  SELECT TIMESTAMP WITH TIME ZONE '2001-02-16 20:38:40-05' AT TIME ZONE 'MST';
  <lineannotation>Result: </lineannotation><computeroutput>2001-02-16 18:38:40</computeroutput>
  </screen>
!     The first example takes a time stamp without time zone and interprets it as MST time
!     (UTC-7), which is then converted to PST (UTC-8) for display.  The second example takes
!     a time stamp specified in EST (UTC-5) and converts it to local time in MST (UTC-7).
     </para>
  
     <para>
--- 8146,8158 ----
  SELECT TIMESTAMP WITH TIME ZONE '2001-02-16 20:38:40-05' AT TIME ZONE 'MST';
  <lineannotation>Result: </lineannotation><computeroutput>2001-02-16 18:38:40</computeroutput>
  </screen>
!     The first example adds a time zone to a value that lacks it.
!     The second example shifts the time stamp with time zone value
!     to the specified time zone, and returns the value without a
!     time zone.  This allows storage and display of values different
!     from the current <varname>TimeZone</varname> value.  Converting
!     <emphasis>time</emphasis> values to other time zones uses the currently
!     active time zone rules since no date is present.
     </para>
  
     <para>