Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Tue, 16 Mar 1993 21:56:20 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA01274; Tue, 16 Mar 93 13:37:43 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA01269; Tue, 16 Mar 93 13:37:29 -0800 Received: from auk.cl.cam.ac.uk (user jrh (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.4) to cl; Tue, 16 Mar 1993 21:37:10 +0000 To: info-hol@edu.uidaho.cs.ted Subject: QED mailing list Date: Tue, 16 Mar 93 21:37:05 +0000 From: John Harrison Message-Id: <"swan.cl.ca.760:16.03.93.21.37.12"@cl.cam.ac.uk> ------- Forwarded Message Return-Path: Delivery-Date: Received: from albatross.cl.cam.ac.uk (user mjcg (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.4) to cl; Mon, 15 Mar 1993 18:52:54 +0000 Received: by albatross.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA01453; Mon, 15 Mar 93 18:52:51 GMT Date: Mon, 15 Mar 93 18:52:51 GMT From: Mike.Gordon@uk.ac.cam.cl Message-Id: <9303151852.AA01453@albatross.cl.cam.ac.uk> To: hvg@uk.ac.cam.cl Subject: [lusk@gov.anl.mcs: Invitation to join the QED mailing list] Return-Path: Delivery-Date: Mon, 15 Mar 1993 00:24:43 +0000 To: avenhaus@de.uni-kl.informatik, bibel@de.th-darmstadt.informatik.intellektik, bledsoe@edu.utexas.cs, boyer@com.cli, bundy@uk.ac.ed, burghard@de.gmd.karlsruhe, caferra@fr.imag.cosmos, dahn@de.hu-berlin.informatik.hubinf, denzinge@de.uni-kl.informatik, eder@at.ac.sbg.cosy, hg@de.mpg.mpi-sb, goltz@de.gmd.first, goto@jp.ntt.ntt-20, reiner@de.uka.ira, steffen@de.th-darmstadt.informatik.intellektik, hagiya@jp.ac.u-tokyo.ss.is, hasegawa@jp.or.icot, kapur@edu.albany.cs, ckirchne@fr.loria.loria, kbcsl@de.uni-paderborn, leiss@de.uni-muenchen.cis, leitsch@at.ac.tuwien.csdec1, letz@de.tu-muenchen.informatik, dwl@edu.duke.cs, lusk@gov.anl.mcs, dam@edu.mit.ai, mam@au.edu.anu.arp, mukai@jp.ac.keio.sfc, nipkow@de.tu-muenchen.informatik, ohlbach@de.mpg.mpi-sb, peterman@de.uni-leipzig.informatik, plaisted@edu.unc.cs, richter@de.uni-kl.informatik, robinson@edu.syr.cis.top, sato@jp.go.etl, ksatoh@jp.co.fujitsu.flab, pschmitt@de.uka.ira, schwicht@de.uni-muenchen.mathematik.math01, siekmann@de.uni-sb.dfki, smolka@de.uni-sb.dfki, stickel@com.sri.ai, waldinger@com.sri.ai, walther@de.th-darmstadt.informatik.inferenzsysteme, avantil@mil.navy.nrl.itd, aa@edu.stanford.cauchy, henk@nl.kun.cs, beeson@edu.ucsc.cats, rb@uk.ac.ed.lfcs, sgerhart@gov.nsf.note, good@com.cli, sf@edu.stanford.csli, kaufmann@com.cli, moore@com.cli, Mike.Gordon@uk.ac.cam.cl, Gerard.Huet@fr.inria, lipman@MIL.NAVY.ONR-HQ, nancym@edu.washington.u, iam@edu.stanford.cs, sean@de.mpg.mpi-sb, mumford@edu.harvard.das, bengt@se.chalmers.cs, shankar@com.sri.csl, clt@edu.stanford.cs, jt@org.mitre.linus, rap@uk.ac.ed.dcs, wachter@edu.umd.cs, wos@gov.anl.mcs, overbeek@gov.anl.mcs, lusk@gov.anl.mcs Subject: Invitation to join the QED mailing list Date: Sun, 14 Mar 1993 15:51:09 -0600 From: Rusty Lusk 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 ------- End of Forwarded Message