Nuprl Definition : CLK_headers_internal
CLK_headers_internal() == [``CLK msg``]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
CLK_headers_internal
Latex:
CLK\_headers\_internal() == [``CLK msg``]
Date html generated:
2016_05_17-PM-02_45_14
Last ObjectModification:
2013_11_23-PM-09_22_39
Theory : lamport!s!clocks
Home
Index