Re: Fwd: <text/>

That case is already handled by (empty string) in 6.2.9 in conjunction with 
(text 1) in 6.2.4.

The (empty string) rule should probably be moved to 6.2.4 (or maybe 6.2.3 
with a note in 6.2.4).

--On 22 July 2001 13:12 +0900 Murata Makoto <> wrote:

>> cx |- {}; () =~ <text/> => {}; {}
>
> Somebody pointed out that the above inference rule is missing in the
> draft.
>
> Cheers,
>
> Makoto
>
> ------------------------------------------------------------------
> To unsubscribe from this elist send a message with the single word
> "unsubscribe" in the body to: 
>
>