is mentioned by
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [decidable__rel_exp] |
![]() ![]() ![]() ![]() ![]() Thm* ( ![]() ![]() Thm* ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Thm* (increasing(f;n) Thm* (& increasing(g;k) Thm* (& ( ![]() ![]() Thm* (& ( ![]() ![]() ![]() Thm* (& ( ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [increasing_split] |
In prior sections: core int 1 bool 1 int 2 rel 1 mb basic
Try larger context:
MarkB generic
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html