WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites gcd?
gcdDef gcd(a;b) == if b=0 a else gcd(b;a rem b) fi  (recursive)
Thm* a,b:. gcd(a;b 
eq_intDef i=j == if i=j true ; false fi
Thm* i,j:. (i=j 

Syntax:gcd(a;b) has structure: gcd(ab)

About:
boolbfalsebtrueifthenelseintnatural_numberremainder
int_eqrecursive_def_noticememberall
!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions StandardLib Sections NuprlLIB Doc