Nuprl Definition : mk-msg-interface
mk-msg-interface(l;m) ==  make-msg-interface(0;l;m)
Definitions occuring in Statement : 
make-msg-interface: make-msg-interface(i;l;m)
, 
natural_number: $n
FDL editor aliases : 
mk-msg-interface
Latex:
mk-msg-interface(l;m)  ==    make-msg-interface(0;l;m)
Date html generated:
2016_05_17-AM-09_00_09
Last ObjectModification:
2013_02_14-PM-11_20_32
Theory : messages
Home
Index