Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.alpha.net!uwm.edu!spool.mu.edu!howland.reston.ans.net!vixen.cso.uiuc.edu!uchinews!tango.uchicago.edu!mcdougal
From: Tom McDougal <mcdougal@cs.uchicago.edu>
Subject: geometry & theorem-proving
X-Nntp-Posting-Host: tango.uchicago.edu
Content-Type: text/plain; charset=ISO-8859-1
Message-ID: <D3p837.DLI@midway.uchicago.edu>
X-Xxmessage-Id: <AB5E876FF9010B33@tango.uchicago.edu>
X-Xxdate: Wed, 8 Feb 1995 20:36:31 GMT
Sender: news@midway.uchicago.edu (News Administrator)
Content-Transfer-Encoding: 8bit
Organization: Univ. of Chicago Computer Science
X-Newsreader: Nuntius 2.0.1_68K
Mime-Version: 1.0
Date: Wed, 8 Feb 1995 20:40:19 GMT
Lines: 16
