[isabelle] types problem



Hi

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.
Regards
Omar



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