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