[CST-2] Spec & Ver I (Style of proof)

[Martin Harper]

I use H-logic, but I find that heavy use of "similarly", "clearly", and 
suchlike help me to finish such questions before my hand drops off or my 
brain seizes up with boredom...

Shu Yan Chan wrote:

> Hi, I was just doing my last minute revision and suddenly started to panic
> about which style( or rather, technique) of proof to use in the exam.   When
> the examiner asked us to proof something, is it ok to use either VC or doing
> it using the H-Logic inference rules, etc?  Or is there any catch phase that
> one should watch out for?
> I have not done enough execrise to comment on it, but has people generally
> found using VC better or worse than using the infreence rules?
> Thanks.
> 
> Yours,
> Shu Yan