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."