Re: working on "A Model of Authority in the Web"

On Mon, 2009-12-14 at 17:44 -0600, Dan Connolly wrote:
[...]
> For details on how to run the example through cwm, see
>   http://www.w3.org/2001/tag/dj9/Makefile
> 
> Next step: get cwm to spit out a proof and format
> it nicely. Wish me luck.

Sigh. cwm blows chunks. Details attached.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E