Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Fri, 16 Apr 1993 01:44:49 +0100 Received: by antares.mcs.anl.gov id AA11201 (5.65c/IDA-1.4.4 for qed-outgoing); Thu, 15 Apr 1993 19:39:57 -0500 Received: from life.ai.mit.edu by antares.mcs.anl.gov with SMTP id AA11193 (5.65c/IDA-1.4.4 for ); Thu, 15 Apr 1993 19:39:54 -0500 Received: from spock (spock.ai.mit.edu) by life.ai.mit.edu (4.1/AI-4.10) id AA18633; Thu, 15 Apr 93 20:39:51 EDT From: dam@edu.mit.ai (David McAllester) Received: by spock (4.1/AI-4.10) id AA00645; Thu, 15 Apr 93 20:39:51 EDT Date: Thu, 15 Apr 93 20:39:51 EDT Message-Id: <9304160039.AA00645@spock> To: qed@gov.anl.mcs : bcc rlg, cwitty Subject: a list of systems. Sender: qed-owner@gov.anl.mcs Precedence: bulk Here is a list of the systems that have entries in the Talcott data base. (This is a listing of the directory sail.stanford.edu:/pub/tlc/ARS/Entries) -rw-rw-r-- 1 1437 2060 Feb 1 15:13 clam -rw-rw-r-- 1 1437 3848 Aug 3 1992 coq -rw-rw-r-- 1 1437 5360 Aug 10 1992 ehdm -rw-rw-r-- 1 1437 5327 Feb 2 10:16 elf -rw-rw-r-- 1 1437 6401 Jan 4 15:15 hol -rw-rw-r-- 1 1437 3884 May 15 1992 isabelle -rw-rw-r-- 1 1437 6277 Apr 30 1992 larch -rw-rw-r-- 1 1437 8004 Aug 10 1992 never -rw-rw-r-- 1 1437 6734 May 15 1992 nqthm -rw-rw-r-- 1 1437 2786 May 15 1992 nuprl -rw-rw-r-- 1 1437 5677 Apr 14 1992 obj3 -rw-rw-r-- 1 1437 1936 Dec 5 15:22 otter -rw-rw-r-- 1 1437 3511 Feb 1 15:13 oyster -rw-rw-r-- 1 1437 4416 Apr 2 1992 pcnqthm -rw-rw-r-- 1 1437 5104 Dec 5 15:25 pvs -rw-rw-r-- 1 1437 2821 May 15 1992 rrl -rw-rw-r-- 1 1437 4373 Apr 4 1992 sdvs -rw-rw-r-- 1 1437 2713 Aug 10 1992 tableaux -rw-rw-r-- 1 1437 2205 May 15 1992 tps