From: Peter F. Patel-Schneider (pfps@research.bell-labs.com) Date: 09/29/01
I updated my model theory, incorporating almost everything from daml+oil.daml, and fixing some typos. peter
This archive was generated by hypermail 2.1.4 : 04/02/02 EST