IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def is_prime(x) == prime_decider_exists{1:l}(x)
is mentioned by
Def prime_mset_complete(f)(x) == if is_prime(x)f(x) else 0 fi
[prime_mset_complete]
Try larger context:
DiscrMathExt
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
f(x) else 0 fi