Nuprl Definition : CLK_ClockFun
CLK_ClockVal(MsgType;f)@e == CLK_Clock(MsgType;f)(e)
Definitions occuring in Statement :
CLK_Clock: CLK_Clock(MsgType;f),
classfun: X(e)
FDL editor aliases :
initial-CLK_ClockFun
Latex:
CLK\_ClockVal(MsgType;f)@e == CLK\_Clock(MsgType;f)(e)
Date html generated:
2015_07_23-PM-04_09_51
Last ObjectModification:
2013_11_23-PM-09_22_21
Home
Index