[isabelle] Is there example to use Backward Hoare and Forward Floyd to find subgoal from goal



Hi  sir,
Is there example to use Backward Hoare and Forward Floyd to find subgoal from goal?

Regards,
Martin Lee 		 	   		  


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.