(no subject)

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

• Next message: Mike Dean: "Joint Committee Minutes 17 April 2001"
• Previous message: Stefan Decker: "Re: DAML+OIL Light"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

In accordance with our discussions the Disjoint class has been removed
from the March release of daml+oil.daml:

     <!-- NOTE: the Disjoint class has been deleted: use disjointWith -->
     <!-- or disjointUnionOf instead. -->

However, I believe that Disjoint is still discussed in reference.html.

Ian

• Next message: Mike Dean: "Joint Committee Minutes 17 April 2001"
• Previous message: Stefan Decker: "Re: DAML+OIL Light"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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