Re: Joint Committee Minutes 2 January 2001

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


Dear All,

As promised, Peter and I have generated a proposal for a language
extension to include concrete datatypes:

	  http://www.cs.man.ac.uk/~horrocks/daml+oil/datatypes.html

Regards, Ian and Peter


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