Re: [isabelle] types problem



>problem with understanding the types and how to makeÂdefinition
can you clarify you question? 

    Omar Jasim <oajasim1 at sheffield.ac.uk> schrieb am 18:06 Dienstag, 22.MÃrz 2016:
 

 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.