On 1 July 1991, the Czechoslovak President Václav Havel formally declared an end to the Warsaw Treaty Organization of Friendship, Co-operation, and Mutual Assistance which had been established in 1955.