[isabelle] types problem


please I have problem with understanding the types and how to make
definition for example:

definition prime :: "nat â bool"  where "prime p = (1 < p â (âm. m dvd
p â m = 1 â m = p))"

please can any one help me to understand it as I have complex statements.
Many thanks in advance.

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