[CST-2] Spec&Ver I

[Barnaby Gray]

On Mon, May 27, 2002 at 10:37:42AM +0100, Jamie Shotton wrote:
> 
> On page 27 of the notes he gives an apparently incorrect rule for CASE
> statements.  The hint he gives to prove the rule incorrect doesn't seem
> to help, as you simply get a load of {F}C_i{Q} on the top row of the
> rule and so cannot derive the bottom row so there doesn't seem to be a
> problem...?  Anyone know what he's driving at?

I'd like to claim credit for this, but instead I'll direct you to the
link for the solution notes, that's probably more useful:

http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/StaplesNotes/specver_solutions.ps

Barnaby