About timestamp and timestamptz

Hi,

I think there is a problem with the timestamp types in postgresql 7.2.3.

In the documentation here http://www.postgresql.org/idocs/index.php?datatype
html the table 3-1 says:

timestamp [ (p) ] without time zonetimestampdate and time
timestamp [ (p) ] [ with time zone ]timestamptzdate and time, including time
zone

So if I use the type "timestamp", it will not use the alias "timestamp" for
timestamp without time zone", but it will use a "timestamptz" because "with
time zone" is optional.

Conclusion :

1- To have a timestamp without time zone I must say "timestamp without time
zone"
2- The alias "timestamp" can't be used and should be removed or replaced.

Or the table should be :

timestamp [ (p) ] [ without time zone ]date and time
timestamp [ (p) ] with time zonetimestamptzdate and time, including time
zone

like it's the case for time :
time [ (p) ] [ without time zone ] time of day
time [ (p) ] with time zonetimetztime of day, including time zone

Regards,
Fred.
PS in real world, I can use "timestamp with time zone", but I have the
problem when using PhpPgAdmin, who reads the datatypes available from
pg_type" where only aliases are listed.
I tried to fix the problem in PhpPgAdmin looking for another way to read data-types, but I didn't found it.