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

pv11_p1_messages-delivered-w-omissions-accpts{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;accpts;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-accpts

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