Bourbaki/Mathias

Tobias.Nipkow@informatik.tu-muenchen.de

Mail folder: QED
Next message: David McAllester: "Verification systems"
Previous message: guttman@linus.mitre.org: "Re: a multilingual approach "
In-reply-to: FORSTER@matgen.ge.cnr.it: "Bourbaki/Mathias"

From: Tobias.Nipkow@informatik.tu-muenchen.de
To: FORSTER@matgen.ge.cnr.it
Cc: qed@mcs.anl.gov
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
Precedence: bulk

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

Tobias