W3C home > Mailing lists > Public > www-archive@w3.org > May 2007

testing dependent choice with proof_state

From: <jos.deroo@agfa.com>
Date: Thu, 3 May 2007 01:26:12 +0200
To: www-archive@w3.org
Message-ID: <OF4CEC4452.7064507A-ONC12572CF.0080BD8B-C12572CF.0080BE08@agfa.com>

Received on Wednesday, 2 May 2007 23:26:19 GMT

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