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:
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