| commit | e417de0e5697a5242f7530292da13c25eddcf439 | [log] [tgz] |
|---|---|---|
| author | Tim Peters <tim.peters@gmail.com> | Thu Aug 15 20:10:45 2002 +0000 |
| committer | Tim Peters <tim.peters@gmail.com> | Thu Aug 15 20:10:45 2002 +0000 |
| tree | 9ba2552370a1df7624c2d09cf50e1a1827ff7b95 | |
| parent | ab86c2be2415050c71a254ad4e47fb4bdcf3a69f [diff] |
Illustrating by example one good reason not to trust a proof <wink>.