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:
2015_07_23-PM-04_10_07
Last ObjectModification:
2013_11_23-PM-09_22_39
Home
Index