Nuprl Definition : pv11_p1_messages-delivered-w-omissions-ldrs

pv11_p1_messages-delivered-w-omissions-ldrs{i:l}(es;flrs;Cmd;accpts;ldrs;ldrs_uid;reps;f) ==
msgs-interface-with-omissions-sub{i:l}(pv11_p1_main(Cmd;accpts;ldrs;ldrs_uid;reps;f);flrs;ldrs;f)

Definitions occuring in Statement : pv11_p1_main: pv11_p1_main(Cmd;accpts;ldrs;ldrs_uid;reps;mf), msgs-interface-with-omissions-sub: msgs-interface-with-omissions-sub{i:l}(X;failures;ids;f)
FDL editor aliases : pv11_p1_messages-delivered-w-omissions-ldrs

Latex:
pv11\_p1\_messages-delivered-w-omissions-ldrs\{i:l\}(es;flrs;Cmd;accpts;ldrs;ldrs$_{uid}\000C$;reps;f) == msgs-interface-with-omissions-sub\{i:l\}(pv11\_p1\_main(Cmd;accpts;ldrs;ldrs$_{uid}\mbackslash{}ff\000C24;reps;f);flrs;ldrs;f) Date html generated: 2015_07_23-PM-05_06_02 Last ObjectModification: 2013_12_18-PM-06_20_09 Home Index