daml+oil+dt release v4.1

From: Ian Horrocks (horrocks@cs.man.ac.uk)
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