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

RE: TDL - Model theory take 1.

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 22 Jan 2002 13:07:39 -0000
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: <www-archive@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDEENECCAA.jjc@hplb.hpl.hp.com>


Here's where I am now, but I am out of time for today - will continue
tomorrow.

I've finished the first cut, and duplicated it and started pruning the first
copy.

Jeremy


Received on Tuesday, 22 January 2002 08:07:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:16 GMT