Re: proof step for list built-in is goofy from Yosi Scharf on 2007-11-02 (public-cwm-bugs@w3.org from November 2007)

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

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