Before revision: Non-prestressed double tees were contracted in Miami in 1952 followed by prestressed double tees in 1953.
After revision: Non-prestressed double tees were constructed in Miami in 1952 followed by prestressed double tees in 1953.