Unique Names in DAML/OIL
see
brief explanation in email
of 16 May 2001.
References
Stefan's
proposal
of 15 May 2001
Dan Connolly
$Id: README.html,v 1.2 2001/05/16 20:17:48 connolly Exp $