W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > November 2007

Re: proof step for list built-in is goofy

From: Yosi Scharf <syosi@MIT.EDU>
Date: Fri, 2 Nov 2007 11:47:44 -0400
Message-Id: <566AEE39-92AA-4543-90C3-FD4FAB2A377B@mit.edu>
Cc: public-cwm-bugs@w3.org
To: Dan Connolly <connolly@w3.org>

I cannot reproduce.


$cwm http://www.w3.org/2004/01/rdxh/grddl-rule-tests.n3 http:// 
www.w3.org/2004/01/rdxh/grddl-rules.n3 --think --filter=http:// 
www.w3.org/2004/01/rdxh/grddl-rule-goal.n3 --why | grep 'list:in'

returns nothing. Further, all attempts to use list:in give correct  
proofs.

Yosi
Received on Friday, 2 November 2007 15:48:05 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:52:01 UTC