Nuprl Rule : computationStep

H  ⊢ b

  BY computationStep ()
     
     CallLisp(COMPUTATION-STEP)
  No Subgoals



Definitions occuring in rule :  sqequal: t axiom: Ax

Latex:
H    \mvdash{}  a  \msim{}  b

    BY  computationStep  ()
         
          CallLisp(COMPUTATION-STEP)
    No  Subgoals



Date html generated: 2016_12_14-AM-08_53_23
Last ObjectModification: 2015_11_25-PM-03_37_49

Theory : rules


Home Index