Re: [isabelle] Is there example to use Backward Hoare and Forward Floyd to find subgoal from goal
I found Chapter 12 of Concrete Semantics  and the paper Forward With
Hoare  useful.
On Apr 23, 2015 5:46 PM, "Mandy Martin" <tesleft at hotmail.com> wrote:
> Hi sir,
> Is there example to use Backward Hoare and Forward Floyd to find subgoal
> from goal?
> Martin Lee
This archive was generated by a fusion of
Pipermail (Mailman edition) and