Vaughan, Did you mean <http://boole.stanford.edu/pub/gamut.ps.gz>? Randall Schulz At 02:04 2003-04-28, Vaughan Pratt wrote: >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