| commit | c5dc4da125ee686f5544430b97545a17ad77a6cb | [log] [tgz] |
|---|---|---|
| author | Tim Peters <tim.peters@gmail.com> | Thu Jan 02 17:55:03 2003 +0000 |
| committer | Tim Peters <tim.peters@gmail.com> | Thu Jan 02 17:55:03 2003 +0000 |
| tree | 0f94933c6e29543f6bb873da34a7b1e4e2c362c3 | |
| parent | e23ca3c35aba074f8cfa496af24c7641973c7fab [diff] |
The astimezone() correctness proof endured much pain to prove what turned out to be 3 special cases of a single more-general result. Proving the latter instead is a real simplification.