Re: model theory (W3C publication stuff)

[...]
> 5. I could put the 'lemmas' back in, probably best as an appendix
> though rather than in the main text.  Again, comments in either
> direction?

I would love to have them in (and indeed as appendix
and better later than never).
They are actually close to test cases and ideal for
regression tests and I can spend time on that.

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