"Zerong Chen" <zrc01@uow.edu.au>]

From: Brandon Amundson (bamundson@bbn.com)
Date: 12/26/01

From: "Zerong Chen" <zrc01@uow.edu.au>
To: <daml-help@daml.org>
Subject: question of consistency meaning
Date: Sun, 23 Dec 2001 16:00:35 +1100

Is any tool available now for checking the consistency of the meaning
written in DAML? Can DAML validator do such a job?

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