Havel dimitió como presidente el 20 de julio de 1992.