Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!DorothyJosephson@CMU-CS-A
From: DorothyJosephson@CMU-CS-A@sri-unix.UUCP
Newsgroups: net.ai
Subject: CMU Seminar, 8/9
Message-ID: <3742@sri-arpa.UUCP>
Date: Mon, 1-Aug-83 15:07:00 EDT
Article-I.D.: sri-arpa.3742
Posted: Mon Aug  1 15:07:00 1983
Date-Received: Fri, 5-Aug-83 11:17:52 EDT
Lines: 2

ther a construction such as this should be considered a
"proof."