xmlschema-formal: Inference rules

From: Ray S. Waldin <rwaldin@cacheon.com>
Date: Thu, 22 Mar 2001 15:24:13 -0800
To: <www-xml-schema-comments@w3.org>
Message-ID: <000001c0b327$3571a2b0$331ea8c0@cacheon.com>

Section 3.8 Inference Rules show the following example:

		d1 in g1       d2 in g2
	-------------------------------------
			d1 ,d2 in g1

The judgement below the line seems to be missing ",g2"  following "g1".

-Ray

Received on Thursday, 22 March 2001 18:23:47 UTC