Nuprl Definition : hint

hint(t) ==  True


Definitions occuring in Statement :  true: True
Definitions occuring in definition :  true: True
FDL editor aliases :  hint
Latex:
hint(t)  ==    True


Date html generated: 2016_05_15-PM-03_18_42
Last ObjectModification: 2015_09_23-AM-07_42_51

Theory : general


Home Index