Re: proof step for list built-in is goofy

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: proof step for list built-in is goofy

Yosi Scharf

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