Nuprl Definition : ohc_v1_RoundInfo
ohc_v1_RoundInfo(Cmd) == ohc_v1_retry'base(Cmd) || ohc_v1_prop2retry(Cmd)@|Loc, ohc_v1_proposal'base(Cmd)|
Definitions occuring in Statement :
ohc_v1_prop2retry: ohc_v1_prop2retry(Cmd),
ohc_v1_retry'base: ohc_v1_retry'base(Cmd),
ohc_v1_proposal'base: ohc_v1_proposal'base(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y
FDL editor aliases :
ohc_v1_RoundInfo
ohc\_v1\_RoundInfo(Cmd) ==
ohc\_v1\_retry'base(Cmd) || ohc\_v1\_prop2retry(Cmd)@|Loc, ohc\_v1\_proposal'base(Cmd)|
Date html generated:
2012_02_20-PM-05_24_25
Last ObjectModification:
2012_02_13-PM-12_57_24
Home
Index