Nuprl Definition : RankEx4_Foo

RankEx4_Foo(foo) ==  <"Foo", foo>



Definitions occuring in Statement :  pair: <a, b> token: "$token"
FDL editor aliases :  RankEx4_Foo
RankEx4\_Foo(foo)  ==    <"Foo",  foo>



Date html generated: 2015_07_17-AM-07_51_02
Last ObjectModification: 2014_05_06-AM-11_45_30

Home Index