(no subject)

From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 04/23/01

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.


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