From: Ian Horrocks ([email protected])
Date: 01/10/01
Mike, I have updated the two files describing the differences between DAML+OIL and DAML and between DAML+OIL and OIL. For consistency I have named these differences-daml.html and differences-oil.html. They are in the usual place (along with the updated daml+oil.daml in case you didn't see my earlier mail): www.cs.man.ac.uk/~horrocks/daml+oil/ If anyone has any comments/corrections, please let me know. Ian
This archive was generated by hypermail 2.1.4 : 04/02/02 EST