To: avenhaus@informatik.uni-kl.de, bibel@intellektik.informatik.th-darmstadt.de,
    bledsoe@cs.utexas.edu, boyer@cli.com, bundy@ed.ac.uk,
    burghard@karlsruhe.gmd.de, caferra@cosmos.imag.fr,
    dahn@hubinf.informatik.hu-berlin.de, denzinge@informatik.uni-kl.de,
    eder@cosy.sbg.ac.at, hg@mpi-sb.mpg.de, goltz@first.gmd.de,
    goto@ntt-20.ntt.jp, reiner@ira.uka.de,
    steffen@intellektik.informatik.th-darmstadt.de, hagiya@jp.ac.u-tokyo.ss.is,
    hasegawa@icot.or.jp, kapur@cs.albany.edu, ckirchne@loria.loria.fr,
    kbcsl@uni-paderborn.de, leiss@cis.uni-muenchen.de,
    leitsch@csdec1.tuwien.ac.at, letz@informatik.tu-muenchen.de,
    dwl@cs.duke.edu, lusk@mcs.anl.gov, dam@ai.mit.edu, mam@arp.anu.edu.au,
    mukai@sfc.keio.ac.jp, nipkow@informatik.tu-muenchen.de,
    ohlbach@mpi-sb.mpg.de, peterman@informatik.uni-leipzig.de,
    plaisted@cs.unc.edu, richter@informatik.uni-kl.de, robinson@top.cis.syr.edu,
    sato@etl.go.jp, ksatoh@flab.fujitsu.co.jp, pschmitt@ira.uka.de,
    schwicht@math01.mathematik.uni-muenchen.de, siekmann@dfki.uni-sb.de,
    smolka@dfki.uni-sb.de, stickel@ai.sri.com, waldinger@ai.sri.com,
    walther@inferenzsysteme.informatik.th-darmstadt.de,
    avantil@itd.nrl.navy.mil, aa@cauchy.stanford.edu, henk@cs.kun.nl,
    beeson@cats.ucsc.edu, rb@lfcs.ed.ac.uk, sgerhart@note.nsf.gov, good@cli.com,
    sf@csli.stanford.edu, kaufmann@cli.com, moore@cli.com,
    Mike.Gordon@cl.cam.ac.uk, Gerard.Huet@inria.fr, lipman@ONR-HQ.NAVY.MIL,
    nancym@u.washington.edu, iam@cs.stanford.edu, sean@mpi-sb.mpg.de,
    mumford@das.harvard.edu, bengt@cs.chalmers.se, shankar@csl.sri.com,
    clt@cs.stanford.edu, jt@linus.mitre.org, rap@dcs.ed.ac.uk,
    wachter@cs.umd.edu, wos@mcs.anl.gov, overbeek@mcs.anl.gov, lusk@mcs.anl.gov
Subject: Invitation to join the QED mailing list
Date: Sun, 14 Mar 1993 15:51:09 -0600
From: Rusty Lusk <lusk@mcs.anl.gov>

This is an invitation from Bob Boyer (and me) to join a public mailing list
for the QED project.  The list is for the discussion of the QED project for
the verification of a significant body of mathematical thought, based on a
minimal set of logical first principles.  A more detailed ddescription of the
project's goals can be obtained by anonymous ftp from info.mcs.anl.gov.  Take
the file "manifesto" from the directory pub/qed.

To join the list, send mail to Majordomo@mcs.anl.gov containing the message

  subscribe qed

If you would like to specify an email address instead of letting it default to
the one you are sending from, use the form

  subscribe qed foo@bar.bazz.fazz