Extending daml+oil with concrete datatypes

From: Ian Horrocks ([email protected])
Date: 01/22/01


An outline proposal for extending daml+oil with concrete datatypes can
be found at:

   http://www.cs.man.ac.uk/~horrocks/DAML+OIL/Datatypes/

Comments welcome.

Ian Horrocks and Peter Patel-Schneider


This archive was generated by hypermail 2.1.4 : 04/02/02 EST