[isabelle] AExp.thy





The following Lines is taken from AExp.thy 

JPEG image



And i didn't understand what it means and how it works 


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