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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:10:59 GMT