Nuprl Definition : ten-locs
ten-locs{$l_server,$l_choose,$l_comm,$l_pi,$a1,$a2,$a3,$a4,$a5,$a6,$a7}() == [<0, "$l_server">; <1, "$l_choose">; <2, "\000C$l_comm">; <3, "$l_pi">; <4, "$a1">; <5, "$a2">; <6, "$a3">; <7, "$a4">; <8, "$a5">; <9, "$a6">; <10, "$a7">]
Definitions occuring in Statement :
mkid: "$x",
cons: [a / b],
nil: [],
pair: <a, b>,
natural_number: $n
FDL editor aliases :
ten-locs
Latex:
ten-locs\{\$l\_server,\$l\_choose,\$l\_comm,\$l\_pi,\$a1,\$a2,\$a3,\$a4,\$a5,\$a6,\$a7\}() ==
[ɘ, "\$l\_server"> ə, "\$l\_choose"> ɚ, "\$l\_comm"> ɛ, "\$l\_pi"> ɜ, "\$a1"> ɝ, "\$a2"> ɞ, "\$a\000C3"> ɟ, "\$a4"> ɠ, "\$a5"> ɡ, "\$a6"> , "\$a7">]
Date html generated:
2015_07_23-AM-11_33_04
Last ObjectModification:
2012_08_30-PM-01_36_53
Home
Index