Re: Formal Semantics

[James Clark <jjc@jclark.com>]

>
> 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