From: Peter F. Patel-Schneider ([email protected]) 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