W3C home > Mailing lists > Public > www-archive@w3.org > January 2002

TDL - Model theory take 2

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 23 Jan 2002 20:17:48 -0000
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: <www-archive@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDMENECCAA.jjc@hplb.hpl.hp.com>


I've not yet looked at your integration, will do tomorrow.

Latest version of MT, basically complete but I need to do a review.

I think I should move the explanation of idiom P and idiom D from the terse
appendix to the slightly friendlier format of the main text.

The Union appendix needs total rewrite.


Received on Wednesday, 23 January 2002 15:17:50 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:31:41 UTC