Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Wed, 14 Apr 1993 12:53:57 +0100
Received: by antares.mcs.anl.gov id AA00557 (5.65c/IDA-1.4.4 for qed-outgoing);
          Wed, 14 Apr 1993 06:17:34 -0500
Received: from tuminfo2.informatik.tu-muenchen.de by antares.mcs.anl.gov 
          with SMTP id AA00539 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Wed, 14 Apr 1993 06:16:45 -0500
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <57709>;
          Wed, 14 Apr 1993 13:16:27 +0200
Received: by sunbroy14.informatik.tu-muenchen.de id <8067>;
          Wed, 14 Apr 1993 13:16:06 +0200
From: Tobias.Nipkow@de.tu-muenchen.informatik
To: FORSTER@it.cnr.ge.matgen
Cc: qed@gov.anl.mcs
In-Reply-To: FORSTER@matgen.ge.cnr.it's message of Wed, 14 Apr 1993 12:02:00 +0200 <3CC0F1D94020052D@ICE.GE.CNR.IT>
Subject: Bourbaki/Mathias
Message-Id: <93Apr14.131606met_dst.8067@sunbroy14.informatik.tu-muenchen.de>
Date: Wed, 14 Apr 1993 13:16:04 +0200
Sender: qed-owner@gov.anl.mcs
Precedence: bulk

ardm@sun1.mfo.uni-freiburg.de = Adrian Mathias ?

Tobias