pi-calculus test cases

is getting late and quite hot here, and laptop produces even more with

cwm http://eulersharp.sourceforge.net/2003/03swap/pi-data.n3
 http://eulersharp.sourceforge.net/2003/03swap/pi-rules.n3 --think
 --filter=http://eulersharp.sourceforge.net/2003/03swap/pi-query.n3

actually get http://eulersharp.sourceforge.net/2003/03swap/pi-result.n3
with euler but am wondering how to change for cwm..


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Friday, 24 June 2005 01:04:22 UTC