- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 11 Aug 2000 12:32:41 +0200
- To: " - *De_Roo, Jos" <jos.deroo.jd@belgium.agfa.com>
- Cc: " - *www-rdf-interest@w3.org" <www-rdf-interest@w3.org>, " - *connolly@w3.org" <connolly@w3.org>
I was mistaken, the proof of [data:c e:in [data:a e:list [data:b e:list [data:c e:list e:empty]]]] is actually [e:ok e:and [e:ok e:and [e:ok e:and [data:c e:in [data:c e:list e:empty]]] e:thus [data:c e:in [data:b e:list [data:c e:list e:empty]]]] e:thus [data:c e:in [data:a e:list [data:b e:list [data:c e:list e:empty]]]]] -- Jos De Roo -- AGFA
Received on Friday, 11 August 2000 06:34:40 UTC