segre@uicsl.UUCP (02/15/84)
#R:cornell:-618600:uicsl:15500026:000:202 uicsl!segre Feb 14 08:56:00 1984 I was unaware any shorter proof of the Four Color Theorem had been found. As far as I know, the only proof of this theorem is the Appel and Haken computer-proof. Alberto Segre ...uiucdcs!uicsl!segre