>
> Inference rule "group" is wrong. Its conclusion should be " .... => k1 +
> k2 ; kr1 + kr2", not "k1+kr1; k2+kr2". The same error applies for
> several other rules.
Whoops. I'll fix this.
> For inference rules like (anyName), I think you should write
>
> <- empty line
> ---------------
> n in <anyName/>
I know MSL does this, but other references I have looked at don't. It seems
artificial to me to consider axioms as inference rules with an empty
antecedent. What do you think, Murata-san?
In any case, it's just a matter of changing the stylesheet.
James
