Nuprl Definition : modelAdd
M[n:= lbl,i,j] ==  let consts,funs = M in <update-alist(IntDeq;consts;n;<lbl, i, j>tr.<lbl, i, j>), funs>
Definitions occuring in Statement : 
update-alist: update-alist(eq;L;x;z;v.f[v])
, 
int-deq: IntDeq
, 
spread: spread def, 
pair: <a, b>
Definitions occuring in definition : 
spread: spread def, 
update-alist: update-alist(eq;L;x;z;v.f[v])
, 
int-deq: IntDeq
, 
pair: <a, b>
FDL editor aliases : 
modelAdd
Latex:
M[n:=  lbl,i,j]  ==    let  consts,funs  =  M  in  <update-alist(IntDeq;consts;n;<lbl,  i,  j>tr.<lbl,  i,  j>),\000C  funs>
Date html generated:
2016_05_15-PM-10_32_33
Last ObjectModification:
2015_09_23-AM-08_26_23
Theory : minimal-first-order-logic
Home
Index