[isabelle] Errors



Hi 

Attachment: Hoare.thy
Description: Binary data

Attachment: Com.thy
Description: Binary data

Attachment: AExp.thy
Description: Binary data

Hoare.thy file it doesn’t work and i tried to find where the problem to fix it but i didn’t find it
Really i can not understand why it does not work because i think i did every thing right
Any one can help me to fix these problems ?

best regards,

Mahmoud


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