Nuprl Definition : intformnot?

intformnot?(v) ==  fst(v) =a "not"



Definitions occuring in Statement :  eq_atom: =a y pi1: fst(t) token: "$token"
Definitions occuring in definition :  eq_atom: =a y pi1: fst(t) token: "$token"
FDL editor aliases :  intformnot?

Latex:
intformnot?(v)  ==    fst(v)  =a  "not"



Date html generated: 2016_05_14-AM-07_06_46
Last ObjectModification: 2015_09_22-PM-05_52_42

Theory : omega


Home Index