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

Attachments

application/octet-stream attachment: etc5a-Acanthomyops-latipes.txt

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