These are the various operator keyed links into the <nobr><a href="Xprimitive_op_doc_INDEX.html">Nuprl&nbsp;Basics</a></nobr> documents.
<p>
<table >
<tr valign=middle><td ><a href="Xpairs_doc.html"><IMG SRC="OPDOCIMGS/pair_prim.jpg" BORDER=1  ALT="pair" width="43" height="18"></a></td><td ><a href="Xpairs_doc.html"><IMG SRC="OPDOCIMGS/spread_prim.jpg" BORDER=1  ALT="spread" width="104" height="20"></a></td><td ><a href="Xpairs_doc.html"><IMG SRC="OPDOCIMGS/spread.2.jpg" BORDER=1  ALT="spread" width="28" height="16"></a></td><td ><a href="Xpairs_doc.html"><IMG SRC="OPDOCIMGS/spread.3.jpg" BORDER=1  ALT="spread" width="28" height="16"></a></td><td ><a href="Xpairs_doc.html"><IMG SRC="OPDOCIMGS/product_prim.jpg" BORDER=1  ALT="product" width="71" height="19"></a></td><td ><a href="Xpairs_doc.html"><IMG SRC="OPDOCIMGS/product.3.jpg" BORDER=1  ALT="product" width="34" height="17"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xlist_doc.html"><IMG SRC="OPDOCIMGS/list_prim.jpg" BORDER=1  ALT="list" width="51" height="17"></a></td><td ><a href="Xlist_doc.html"><IMG SRC="OPDOCIMGS/cons.4.jpg" BORDER=1  ALT="cons" width="46" height="20"></a></td><td ><a href="Xlist_doc.html"><IMG SRC="OPDOCIMGS/cons_prim.jpg" BORDER=1  ALT="cons" width="35" height="14"></a></td><td ><a href="Xlist_doc.html"><IMG SRC="OPDOCIMGS/nil_prim.jpg" BORDER=1  ALT="nil" width="28" height="16"></a></td><td ><a href="Xlist_doc.html"><IMG SRC="OPDOCIMGS/listind_prim.jpg" BORDER=1  ALT="list_ind" width="369" height="20"></a></td><td ><a href="Xlist_doc.html"><IMG SRC="OPDOCIMGS/list_case.2.jpg" BORDER=1  ALT="list_ind" width="300" height="20"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xbool_doc.html"><IMG SRC="OPDOCIMGS/bool.jpg" BORDER=1  ALT="bool" width="16" height="17"></a></td><td ><a href="Xbool_doc.html"><IMG SRC="OPDOCIMGS/bfalse.jpg" BORDER=1  ALT="bfalse" width="50" height="18"></a></td><td ><a href="Xbool_doc.html"><IMG SRC="OPDOCIMGS/btrue.jpg" BORDER=1  ALT="btrue" width="43" height="17"></a></td><td ><a href="Xbool_doc.html"><IMG SRC="OPDOCIMGS/ifthenelse.jpg" BORDER=1  ALT="ifthenelse" width="144" height="17"></a></td><td ><a href="Xbool_doc.html"><IMG SRC="OPDOCIMGS/assert.jpg" BORDER=1  ALT="assert" width="22" height="20"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xunit_doc.html"><IMG SRC="OPDOCIMGS/unit.jpg" BORDER=1  ALT="unit" width="36" height="17"></a></td><td ><a href="Xunit_doc.html"><IMG SRC="OPDOCIMGS/it.jpg" BORDER=1  ALT="it" width="9" height="9"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/int_prim.jpg" BORDER=1  ALT="int" width="16" height="17"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/natural_number_prim.jpg" BORDER=1  ALT="natural_number" width="70" height="19"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/minus_prim.jpg" BORDER=1  ALT="minus" width="19" height="13"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/add_prim.jpg" BORDER=1  ALT="add" width="28" height="16"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/subtract_prim.jpg" BORDER=1  ALT="subtract" width="28" height="16"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/mul_prim.jpg" BORDER=1  ALT="multiply" width="25" height="16"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/div_prim.jpg" BORDER=1  ALT="divide" width="49" height="17"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/rem_prim.jpg" BORDER=1  ALT="remainder" width="59" height="16"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/inteq_prim.jpg" BORDER=1  ALT="int_eq" width="136" height="19"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/intless_prim.jpg" BORDER=1  ALT="less" width="136" height="19"></a></td><td ><a href="Xint_doc.html"><IMG SRC="OPDOCIMGS/less_than_prim.jpg" BORDER=1  ALT="less_than" width="28" height="16"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xatom_token_doc.html"><IMG SRC="OPDOCIMGS/atom_prim.jpg" BORDER=1  ALT="atom" width="37" height="17"></a></td><td ><a href="Xatom_token_doc.html"><IMG SRC="OPDOCIMGS/token_prim.jpg" BORDER=1  ALT="token" width="73" height="19"></a></td><td ><a href="Xatom_token_doc.html"><IMG SRC="OPDOCIMGS/atomeq_prim.jpg" BORDER=1  ALT="atom_eq" width="163" height="19"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xdisjoint_union_doc.html"><IMG SRC="OPDOCIMGS/union_prim.jpg" BORDER=1  ALT="union" width="28" height="16"></a></td><td ><a href="Xdisjoint_union_doc.html"><IMG SRC="OPDOCIMGS/inl_prim.jpg" BORDER=1  ALT="inl" width="49" height="19"></a></td><td ><a href="Xdisjoint_union_doc.html"><IMG SRC="OPDOCIMGS/inr_prim.jpg" BORDER=1  ALT="inr" width="49" height="19"></a></td><td ><a href="Xdisjoint_union_doc.html"><IMG SRC="OPDOCIMGS/decide_prim.jpg" BORDER=1  ALT="decide" width="218" height="21"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xset_type_doc.html"><IMG SRC="OPDOCIMGS/set_prim.jpg" BORDER=1  ALT="set" width="96" height="19"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xtype_expr_doc.html"><IMG SRC="OPDOCIMGS/sfa_doc_exteq.jpg" BORDER=1  ALT="sfa_doc_exteq" width="66" height="17"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xuniverse_doc.html"><IMG SRC="OPDOCIMGS/universe_prim.jpg" BORDER=1  ALT="universe" width="36" height="19"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xequality_doc.html"><IMG SRC="OPDOCIMGS/equal.2.jpg" BORDER=1  ALT="equal" width="79" height="18"></a></td><td ><a href="Xequality_doc.html"><IMG SRC="OPDOCIMGS/member.jpg" BORDER=1  ALT="member" width="48" height="17"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xisect_doc.html"><IMG SRC="OPDOCIMGS/isect_prim.jpg" BORDER=1  ALT="isect" width="84" height="19"></a></td><td ><a href="Xisect_doc.html"><IMG SRC="OPDOCIMGS/guarded_type_df.jpg" BORDER=1  ALT="isect" width="81" height="21"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xquotient_doc.html"><IMG SRC="OPDOCIMGS/quotient_prim.jpg" BORDER=1  ALT="quotient" width="105" height="20"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xvoid_doc.html"><IMG SRC="OPDOCIMGS/void_prim.jpg" BORDER=1  ALT="void" width="37" height="17"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xfunctionality_doc.html"><IMG SRC="OPDOCIMGS/lambda_prim.jpg" BORDER=1  ALT="lambda" width="60" height="19"></a></td><td ><a href="Xfunctionality_doc.html"><IMG SRC="OPDOCIMGS/apply_prim.jpg" BORDER=1  ALT="apply" width="35" height="19"></a></td><td ><a href="Xfunctionality_doc.html"><IMG SRC="OPDOCIMGS/function_prim.jpg" BORDER=1  ALT="function" width="75" height="19"></a></td><td ><a href="Xfunctionality_doc.html"><IMG SRC="OPDOCIMGS/function.4.jpg" BORDER=1  ALT="function" width="37" height="17"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xpolymorphism_doc.html"><IMG SRC="OPDOCIMGS/subtype.jpg" BORDER=1  ALT="subtype" width="50" height="21"></a></td><td ><a href="Xpolymorphism_doc.html"><IMG SRC="OPDOCIMGS/top.jpg" BORDER=1  ALT="top" width="29" height="19"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xrecursive_function_doc.html"><IMG SRC="OPDOCIMGS/recursive_def_notice.jpg" BORDER=1  ALT="recursive_def_notice" width="142" height="19"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xrecursive_function2_doc.html"><IMG SRC="OPDOCIMGS/ycomb.jpg" BORDER=1  ALT="ycomb" width="14" height="15"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xrec_type_doc.html"><IMG SRC="OPDOCIMGS/simplerec_prim.jpg" BORDER=1  ALT="rec" width="89" height="19"></a></td><td ><a href="Xrec_type_doc.html"><IMG SRC="OPDOCIMGS/recind_prim.jpg" BORDER=1  ALT="rec_ind" width="173" height="21"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/prop.jpg" BORDER=1  ALT="prop" width="37" height="19"></a></td><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/implies.jpg" BORDER=1  ALT="implies" width="53" height="19"></a></td><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/and.jpg" BORDER=1  ALT="and" width="43" height="19"></a></td><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/or.jpg" BORDER=1  ALT="or" width="47" height="19"></a></td><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/false.jpg" BORDER=1  ALT="false" width="44" height="16"></a></td><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/true.jpg" BORDER=1  ALT="true" width="36" height="16"></a></td><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/all.jpg" BORDER=1  ALT="all" width="83" height="19"></a></td><td ><a href="Xproposition_doc.html"><IMG SRC="OPDOCIMGS/exists.jpg" BORDER=1  ALT="exists" width="82" height="19"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xguarded_types_doc.html"><IMG SRC="OPDOCIMGS/guarded_type_df.jpg" BORDER=1  ALT="isect" width="81" height="21"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xevaluation2_doc.html"><IMG SRC="OPDOCIMGS/markup_tag_n_then.jpg" BORDER=1  ALT="markup_tag_n_then" width="60" height="16"></a></td><td ><a href="Xevaluation2_doc.html"><IMG SRC="OPDOCIMGS/marked_clause_then.jpg" BORDER=1  ALT="marked_clause_then" width="60" height="16"></a></td><td ><a href="Xevaluation2_doc.html"><IMG SRC="OPDOCIMGS/markup_tag_df.8.jpg" BORDER=1  ALT="markup_tag" width="21" height="21"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xsquiggle_doc.html"><IMG SRC="OPDOCIMGS/sqequal_prim.jpg" BORDER=1  ALT="sqequal" width="49" height="16"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xopdef_doc.html"><IMG SRC="OPDOCIMGS/iabstraction_df.2.jpg" BORDER=1  ALT="!abstraction" width="81" height="16"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xsequents_doc.html"><IMG SRC="OPDOCIMGS/wwwwml_pfdisp_concl_df.jpg" BORDER=1  ALT="pfdisp_concl" width="84" height="18"></a></td><td ><a href="Xsequents_doc.html"><IMG SRC="OPDOCIMGS/wwwml_red_hyp_df.21.jpg" BORDER=1  ALT="red_hyp" width="202" height="21"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xprops_as_types_doc.html"><IMG SRC="OPDOCIMGS/decidable.jpg" BORDER=1  ALT="decidable" width="50" height="19"></a></td></tr>
</table>
<p>
<table >
<tr valign=middle><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/less_than_prim.jpg" BORDER=1  ALT="less_than" width="28" height="16"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/equal.2.jpg" BORDER=1  ALT="equal" width="79" height="18"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/axiom_prim.jpg" BORDER=1  ALT="axiom" width="12" height="13"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/prop.jpg" BORDER=1  ALT="prop" width="37" height="19"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/implies.jpg" BORDER=1  ALT="implies" width="53" height="19"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/and.jpg" BORDER=1  ALT="and" width="43" height="19"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/or.jpg" BORDER=1  ALT="or" width="47" height="19"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/false.jpg" BORDER=1  ALT="false" width="44" height="16"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/true.jpg" BORDER=1  ALT="true" width="36" height="16"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/all.jpg" BORDER=1  ALT="all" width="83" height="19"></a></td><td ><a href="Xprops_as_types_std_defs_doc.html"><IMG SRC="OPDOCIMGS/exists.jpg" BORDER=1  ALT="exists" width="82" height="19"></a></td></tr>
</table>