Nuprl Definition : ohc_v2_Initial
ohc_v2_Initial(Cmd) == ohc_v2_initial'base(Cmd) || ohc_v2_prop2init(Cmd)@|Loc, ohc_v2_proposal'base(Cmd)|
Definitions occuring in Statement :
ohc_v2_prop2init: ohc_v2_prop2init(Cmd),
ohc_v2_initial'base: ohc_v2_initial'base(Cmd),
ohc_v2_proposal'base: ohc_v2_proposal'base(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y
FDL editor aliases :
ohc_v2_Initial
ohc\_v2\_Initial(Cmd) ==
ohc\_v2\_initial'base(Cmd) || ohc\_v2\_prop2init(Cmd)@|Loc, ohc\_v2\_proposal'base(Cmd)|
Date html generated:
2012_02_20-PM-05_51_11
Last ObjectModification:
2012_02_17-PM-10_25_11
Home
Index