Nuprl Definition : mon_when
when b. p == if b then p else e fi
Definitions occuring in Statement :
grp_id: e,
ifthenelse: if b then t else f fi
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
grp_id: e
Latex:
when b. p == if b then p else e fi
Date html generated:
2016_05_15-PM-00_18_22
Last ObjectModification:
2015_09_23-AM-06_25_22
Theory : groups_1
Home
Index