Change in rnc

[Leonard Soicher]

Dear All,

Although this probably only affects me, this email is to announce that
I have re-ordered the last 4 automorphism group properties in the rnc
(to what I think is a more logical order than previously) and committed
the changes.

This part of the rnc now reads:

    element permutation_rank {
	attribute value { xsd:positiveInteger }
    } ?
    ,
    element generously_transitive {
	attribute value { xsd:boolean }
    } ?
    ,
    element multiplicity_free {
	attribute value { xsd:boolean }
    } ?
    ,
    element stratifiable {
	attribute value { xsd:boolean }
    } ?

-Leonard