updated new model theory

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