Nuprl Definition : CLK_main-program
CLK_main-program(MsgType;locs;reply;f) == (CLK_Reply-program(MsgType;reply;f))@locs
Definitions occuring in Statement :
CLK_Reply-program: CLK_Reply-program(MsgType;reply;f),
class-at-program: (pr)@locs
FDL editor aliases :
CLK_main-program
Latex:
CLK\_main-program(MsgType;locs;reply;f) == (CLK\_Reply-program(MsgType;reply;f))@locs
Date html generated:
2015_07_23-PM-04_10_06
Last ObjectModification:
2013_11_23-PM-09_22_37
Home
Index