This directory has the term sets used for the indexing experiments
reported in

@techreport{ indexing-mccune,
    author = "W. McCune",
    title = "Experiments with Discrimination Tree Indexing and Path Indexing for Term Retrieval",
    institution = "Mathematics and Computer Science Division, Argonne National Laboratory",
    year = 1991,
    number = "MCS-P191-1190",
    type = "Preprint",
    address = "Argonne, IL",
    note = "Invited paper, to appear in {\it J. of Automated Reasoning}"}

The files are:

-rw-r--r--  1 mccune     239555 Sep 15 13:26 bool_neg_6000
-rw-r--r--  1 mccune     169955 Sep 15 13:10 bool_pos_6000
-rw-r--r--  1 mccune     230843 Sep 15 13:11 cl_neg_1000
-rw-r--r--  1 mccune      98398 Sep 15 13:11 cl_pos_1000
-rw-r--r--  1 mccune      98622 Sep 15 13:12 ec_neg_500
-rw-r--r--  1 mccune      23640 Sep 15 13:12 ec_pos_500
-rw-r--r--  1 mccune     232656 Sep 15 13:18 luka5_13862
-rw-r--r--  1 mccune      67283 Sep 15 13:21 luka5_2000
-rw-r--r--  1 mccune     137412 Sep 15 13:23 robbins_2000
-rw-r--r--  1 mccune    1043577 Sep 15 13:20 robbins_45534


  ---------------------------------------------------------------------
  |  William W. McCune              |    e-mail:  mccune@mcs.anl.gov  |
  |  MCS-221                        |    phone:   (708) 252-3065      |
  |  Argonne National Laboratory    |    FAX:     (708) 252-5986      |
  |  Argonne, IL  60439-4844        |                                 |
  |  U.S.A                          |                                 |
  ---------------------------------------------------------------------
