commutative diagrams formatting package

Date: Wed, 15 Aug 90 13:35:53 EDT
To: pratt@cs.stanford.edu
Cc: types@theory.lcs.mit.edu

I would not like to feel I should credit Pilot for the fine pen I used
in working out my research results.  I think it's best to use the
"volunteer labor" criterion and try to maintain a sense of proportion
about the size of the contribution.

carl gunter