Nuprl Rule : tokenEquality

H  ⊢ "$tok" "$tok" ∈ Atom

  BY tokenEquality ()
  
  No Subgoals



Definitions occuring in rule :  equal: t ∈ T atom: Atom token: "$token" axiom: Ax

Latex:
H    \mvdash{}  "\$tok"  =  "\$tok"

    BY  tokenEquality  ()
   
    No  Subgoals



Date html generated: 2016_12_14-AM-08_53_27
Last ObjectModification: 2015_11_25-PM-03_37_39

Theory : rules


Home Index