[PRL] structural operational semantics

[Paul A. Steckler]

> Structural operational semantics is bog-standard small-step
> operational semantics.  No "compatible closure", separation
> via evaluation contexts, or Felleisen-style context-sensitivity.
> See Nielson and Nielson for examples and discussion.

Wait, I thought some of Plotkin's rules have antecedents, 
meaning it's not entirely small-step.

-- Paul (who has that Aarhus pamphlet *somehwere*)