new syntax for datatypes

From: Ian Horrocks (
Date: 02/15/01

Further to Peter's earlier email about the new proposal, I have now
updated the web site with the new language specification, semantics
and example files:

After my recent reprimand I remembered to keep the previous version

Regards, Ian

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