formal defs from BRQL spec

The BRQL spec [1] has formal definitions for most of it's operations.
I created a trivial XSLT (if XSLT is ever trivial) to stick it in a
separate document [2].

[1] http://www.w3.org/2001/sw/DataAccess/rq23/
[2] http://www.w3.org/2001/sw/DataAccess/rq23/defns
-- 
-eric

office: +81.466.49.1170 W3C, Keio Research Institute at SFC,
                        Shonan Fujisawa Campus, Keio University,
                        5322 Endo, Fujisawa, Kanagawa 252-8520
                        JAPAN
        +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
cell:   +1.857.222.5741 (does not work in Asia)

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.