← Prev in month ← Prev in thread

Next in thread → Next in month →

Fwd: <text/>

From: Murata Makoto <>
Date: 2001-07-22T05:15:36+00:00
ID
Thread: Fwd: <text/>

>cx |- {}; () =~ <text/> => {}; {}

Somebody pointed out that the above inference rule is missing in the draft.

Cheers,

Makoto

View original preserved HTML → View on OASIS Connected Community →

← Prev in month ← Prev in thread

Next in thread → Next in month →