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

Re: testing dependent choice with proof_state

From: <jos.deroo@agfa.com>
Date: Sat, 5 May 2007 14:58:50 +0200
To: jos.deroo@agfa.com
Cc: www-archive@w3.org
Message-ID: <OF219AB1D3.207644BB-ONC12572D2.00474DD2-C12572D2.00474E0A@agfa.com>
for later comparison and with a bit more N3 for the --prolog-bchain proof
output



Received on Saturday, 5 May 2007 12:58:55 GMT

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