[FOM] RE: FOM FTGI Boolean Lattices

[Vaughan Pratt]

I should add that the LICS'95 paper I cited in my previous message can
be downloaded as

  http://boole.stanford.edu/pub/gamut.

The page numbering is different: Theorem 5 is on page 10.

Vaughan