[Bug 1723] [FS] two inferences in 7.2.5 "Fn:collection" conclude with wrong quantifier from bugzilla@wiggum.w3.org on 2006-04-10 (public-qt-comments@w3.org from April 2006)

From: <bugzilla@wiggum.w3.org>
Date: Mon, 10 Apr 2006 18:38:00 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1FT1Gy-00019I-UP@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1723


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Comment #1 from simeon@us.ibm.com  2006-04-10 18:38 -------
Good catch. Fixed as suggested.
- Jerome

Received on Monday, 10 April 2006 18:38:04 UTC