From: Ian Horrocks ([email protected])
Date: 02/27/01
We now have a complete release parallelling the existing daml+oil release (with the exception of the axiomatic semantics). You can find it at the usual place: http://www.cs.man.ac.uk/~horrocks/daml+oil/datatypes/ Ian
This archive was generated by hypermail 2.1.4 : 04/02/02 EST