This directory contains Otter input files and proofs in support of the
paper "Single Identities for Lattice Theory and for Weakly Associative
Lattices", by W. McCune and R. Padmanabhan.

  lemma*    - Lemmas, numbered as in the paper.
  theorem*  - Theorems, numbered as in the paper.
  build*    - Construct single axioms for LT (16), WAL (19), and gWAL (20).

The file types:

  *.in      - Otter input files.
  *.out     - Otter output files.
  *.proof   - Proofs from *.out.
  *.cooked  - LaTex form (from the paper) of the proofs.

The jobs were run with Otter 3.0.3d; they should work with 3.0.0 or
any later version.

-------------

  W. McCune (mccune@mcs.anl.gov)
  March 6, 1995